Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. If something is big then it is furry. All big, blue things are furry. Red things are green. If Fiona is kind then Fiona is furry. All blue, cold things are red. Red things are kind. If something is kind and blue then it is green. Green, blue things are big.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If something is big then it is furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
All big, blue things are furry.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If Fiona is kind then Fiona is furry.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "furry" "+"))
All blue, cold things are red.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is kind and blue then it is green.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Green, blue things are big.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Fiona is big.
True
1
proof
[(triple1 OR ((triple5 triple2) -> rule8) OR ((((triple7) -> rule3) triple2) -> rule8) OR ((((triple6 triple2) -> rule7) triple2) -> rule8) OR ((((((triple2 triple3) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple7) -> rule6) triple2) -> rule7) triple2) -> rule8) OR ((((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7) triple2) -> rule8))]
("Fiona" "is" "big" "+")
triple1
((triple5 triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple7) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple6 triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple2 triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple7) -> (rule6 % int3)) triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((((triple2 triple3) -> (rule5 % int4))) -> (rule6 % int3)) triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not big.
False
1
inv-proof
[(triple1 OR ((triple5 triple2) -> rule8) OR ((((triple7) -> rule3) triple2) -> rule8) OR ((((triple6 triple2) -> rule7) triple2) -> rule8) OR ((((((triple2 triple3) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple7) -> rule6) triple2) -> rule7) triple2) -> rule8) OR ((((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7) triple2) -> rule8))]
("Fiona" "is" "big" "-")
triple1
((triple5 triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple7) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple6 triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple2 triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple7) -> (rule6 % int3)) triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((((triple2 triple3) -> (rule5 % int4))) -> (rule6 % int3)) triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
@0: Fiona is big.[(triple1 OR ((triple5 triple2) -> rule8) OR ((((triple7) -> rule3) triple2) -> rule8) OR ((((triple6 triple2) -> rule7) triple2) -> rule8) OR ((((((triple2 triple3) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple7) -> rule6) triple2) -> rule7) triple2) -> rule8) OR ((((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7) triple2) -> rule8))] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4 OR ((triple1) -> rule1) OR ((triple6) -> rule4) OR ((triple1 triple2) -> rule2) OR ((((triple7) -> rule6)) -> rule4) OR ((((triple5 triple2) -> rule8)) -> rule1) OR ((((triple5 triple2) -> rule8) triple2) -> rule2) OR ((((((triple2 triple3) -> rule5)) -> rule6)) -> rule4) OR ((((((triple7) -> rule3) triple2) -> rule8)) -> rule1) OR ((((((triple6 triple2) -> rule7) triple2) -> rule8)) -> rule1) OR ((((((triple7) -> rule3) triple2) -> rule8) triple2) -> rule2) OR ((((((triple6 triple2) -> rule7) triple2) -> rule8) triple2) -> rule2) OR ((((((((triple2 triple3) -> rule5)) -> rule3) triple2) -> rule8)) -> rule1) OR ((((((((triple7) -> rule6) triple2) -> rule7) triple2) -> rule8)) -> rule1) OR ((((((((triple2 triple3) -> rule5)) -> rule3) triple2) -> rule8) triple2) -> rule2) OR ((((((((triple7) -> rule6) triple2) -> rule7) triple2) -> rule8) triple2) -> rule2) OR ((((((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7) triple2) -> rule8)) -> rule1) OR ((((((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7) triple2) -> rule8) triple2) -> rule2))] Fiona is green.[(triple5 OR ((triple7) -> rule3) OR ((triple6 triple2) -> rule7) OR ((((triple2 triple3) -> rule5)) -> rule3) OR ((((triple7) -> rule6) triple2) -> rule7) OR ((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7))] Fiona is kind.[(triple6 OR ((triple7) -> rule6) OR ((((triple2 triple3) -> rule5)) -> rule6))] Fiona is red.[(triple7 OR ((triple2 triple3) -> rule5))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple5 triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple7) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple6 triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple2 triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple7) -> (rule6 % int3)) triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((((triple2 triple3) -> (rule5 % int4))) -> (rule6 % int3)) triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
((triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple6) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple1 triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple5 triple2) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple5 triple2) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple7) -> (rule3 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple6 triple2) -> (rule7 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple7) -> (rule3 % int3)) triple2) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple6 triple2) -> (rule7 % int3)) triple2) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple2 triple3) -> (rule5 % int4))) -> (rule3 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple7) -> (rule6 % int4)) triple2) -> (rule7 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple2 triple3) -> (rule5 % int4))) -> (rule3 % int3)) triple2) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple7) -> (rule6 % int4)) triple2) -> (rule7 % int3)) triple2) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((((triple2 triple3) -> (rule5 % int5))) -> (rule6 % int4)) triple2) -> (rule7 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((((triple2 triple3) -> (rule5 % int5))) -> (rule6 % int4)) triple2) -> (rule7 % int3)) triple2) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
triple5
((triple7) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple6 triple2) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple2 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple7) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
((triple7) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple2 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple7
((triple2 triple3) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1