Fiona is blue. Fiona is green. Fiona is kind. If Fiona is kind and Fiona is big then Fiona is nice. If someone is kind and blue then they are big. If Fiona is blue and Fiona is nice then Fiona is rough.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If Fiona is kind and Fiona is big then Fiona is nice.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "nice" "+"))
If someone is kind and blue then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If Fiona is blue and Fiona is nice then Fiona is rough.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "rough" "+"))
Fiona is kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Fiona is big.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Fiona" "is" "big" "+")
((triple3 triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Fiona" "is" "big" "-")
((triple3 triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
True
5
proof
[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))]
("Fiona" "is" "nice" "+")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not nice.
False
5
inv-proof
[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))]
("Fiona" "is" "nice" "-")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
True
7
proof
[(((triple1 ((triple3 ((triple3 triple1) -> rule2)) -> rule1)) -> rule3))]
("Fiona" "is" "rough" "+")
((triple1 ((triple3 ((triple3 triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not rough.
False
7
inv-proof
[(((triple1 ((triple3 ((triple3 triple1) -> rule2)) -> rule1)) -> rule3))]
("Fiona" "is" "rough" "-")
((triple1 ((triple3 ((triple3 triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is big.[(((triple3 triple1) -> rule2))] @2: Fiona is nice.[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))] @3: Fiona is rough.[(((triple1 ((triple3 ((triple3 triple1) -> rule2)) -> rule1)) -> rule3))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
((triple3 triple1) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple1 ((triple3 ((triple3 triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3