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