Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Gary is big. Gary is nice. Gary is round. If someone is kind then they are blue. Round people are cold. All nice, cold people are rough. If someone is round and kind then they are rough. Kind people are blue. All kind, blue people are nice. Round people are nice. Rough people are blue.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
All nice, cold people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
All kind, blue people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Fiona is blue.
True
1
proof
[(triple2 OR ((triple4) -> rule1) OR ((triple4) -> rule5) OR ((triple6) -> rule8) OR ((((triple5 triple3) -> rule3)) -> rule8) OR ((((triple7 triple4) -> rule4)) -> rule8) OR ((((triple5 ((triple7) -> rule2)) -> rule3)) -> rule8) OR ((((((triple7) -> rule7) triple3) -> rule3)) -> rule8) OR ((((((triple7) -> rule7) ((triple7) -> rule2)) -> rule3)) -> rule8))]
("Fiona" "is" "blue" "+")
triple2
((triple4) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple4) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple6) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple5 triple3) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple7 triple4) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple5 ((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple7) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple7) -> (rule7 % int4)) ((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is not round.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "round" "-")
triple7
Gary is cold.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "cold" "-")
((triple10) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
True
4
proof
[(((triple9 ((triple10) -> rule2)) -> rule3) OR ((((triple10) -> rule7) ((triple10) -> rule2)) -> rule3))]
("Gary" "is" "rough" "+")
((triple9 ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not rough.
False
4
inv-proof
[(((triple9 ((triple10) -> rule2)) -> rule3) OR ((((triple10) -> rule7) ((triple10) -> rule2)) -> rule3))]
("Gary" "is" "rough" "-")
((triple9 ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
True
5
proof
[(((((triple9 ((triple10) -> rule2)) -> rule3)) -> rule8) OR ((((((triple10) -> rule7) ((triple10) -> rule2)) -> rule3)) -> rule8))]
("Gary" "is" "blue" "+")
((((triple9 ((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int4)) ((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is not blue.
False
5
inv-proof
[(((((triple9 ((triple10) -> rule2)) -> rule3)) -> rule8) OR ((((((triple10) -> rule7) ((triple10) -> rule2)) -> rule3)) -> rule8))]
("Gary" "is" "blue" "-")
((((triple9 ((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int4)) ((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple4) -> rule1) OR ((triple4) -> rule5) OR ((triple6) -> rule8) OR ((((triple5 triple3) -> rule3)) -> rule8) OR ((((triple7 triple4) -> rule4)) -> rule8) OR ((((triple5 ((triple7) -> rule2)) -> rule3)) -> rule8) OR ((((((triple7) -> rule7) triple3) -> rule3)) -> rule8) OR ((((((triple7) -> rule7) ((triple7) -> rule2)) -> rule3)) -> rule8))] Fiona is cold.[(triple3 OR ((triple7) -> rule2))] Fiona is kind.[(triple4)] Fiona is nice.[(triple5 OR ((triple7) -> rule7) OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple4) -> rule1)) -> rule6) OR ((triple4 ((triple4) -> rule5)) -> rule6) OR ((triple4 ((triple6) -> rule8)) -> rule6) OR ((triple4 ((((triple7 triple4) -> rule4)) -> rule8)) -> rule6))] Fiona is rough.[(triple6 OR ((triple5 triple3) -> rule3) OR ((triple7 triple4) -> rule4) OR ((triple5 ((triple7) -> rule2)) -> rule3) OR ((((triple7) -> rule7) triple3) -> rule3) OR ((((triple4 triple2) -> rule6) triple3) -> rule3) OR ((((triple7) -> rule7) ((triple7) -> rule2)) -> rule3) OR ((((triple4 triple2) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple4 ((triple4) -> rule1)) -> rule6) triple3) -> rule3) OR ((((triple4 ((triple4) -> rule5)) -> rule6) triple3) -> rule3) OR ((((triple4 ((triple4) -> rule1)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple4 ((triple4) -> rule5)) -> rule6) ((triple7) -> rule2)) -> rule3))] Fiona is round.[(triple7)] Gary is big.[(triple8)] Gary is nice.[(triple9 OR ((triple10) -> rule7))] Gary is round.[(triple10)] @1: Gary is cold.[(((triple10) -> rule2))] @2: Gary is rough.[(((triple9 ((triple10) -> rule2)) -> rule3) OR ((((triple10) -> rule7) ((triple10) -> rule2)) -> rule3))] @3: Gary is blue.[(((((triple9 ((triple10) -> rule2)) -> rule3)) -> rule8) OR ((((((triple10) -> rule7) ((triple10) -> rule2)) -> rule3)) -> rule8))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
((triple4) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple4) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple6) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple5 triple3) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple7 triple4) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple5 ((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple7) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple7) -> (rule7 % int4)) ((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
((triple7) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
((triple7) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple4 triple2) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple4 ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((triple4 ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((triple4 ((triple6) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((triple4 ((((triple7 triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
((triple5 triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple7 triple4) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple5 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple7) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple4 triple2) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple7) -> (rule7 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple4 triple2) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple4 ((triple4) -> (rule5 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple4 ((triple4) -> (rule5 % int4))) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
((triple10) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple9 ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((((triple9 ((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple10) -> (rule7 % int4)) ((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4