Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Furry, blue people are round. If someone is rough then they are round. All furry, smart people are red. If Fiona is round then Fiona is furry. Furry, smart people are red. If someone is red and round then they are blue.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Furry, blue people are round.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
All furry, smart people are red.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If Fiona is round then Fiona is furry.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "furry" "+"))
Furry, smart people are red.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Fiona is blue.
True
1
proof
[(triple1 OR ((triple4 triple6) -> rule6) OR ((triple4 ((triple5) -> rule2)) -> rule6) OR ((((triple2 triple7) -> rule3) triple6) -> rule6) OR ((((triple2 triple7) -> rule5) triple6) -> rule6) OR ((((triple2 triple7) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((triple2 triple7) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule3) triple6) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule5) triple6) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule3) triple6) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule5) triple6) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule5) ((triple5) -> rule2)) -> rule6))]
("Fiona" "is" "blue" "+")
triple1
((triple4 triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple4 ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple2 triple7) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple2 triple7) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple2 triple7) -> (rule3 % int3)) ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple2 triple7) -> (rule5 % int3)) ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple6) -> (rule4 % int3)) triple7) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple6) -> (rule4 % int3)) triple7) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple6) -> (rule4 % int4)) triple7) -> (rule3 % int3)) ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple6) -> (rule4 % int4)) triple7) -> (rule5 % int3)) ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule3 % int2)) ((triple5) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule5 % int2)) ((triple5) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is not rough.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "rough" "-")
triple5
@0: Fiona is blue.[(triple1 OR ((triple4 triple6) -> rule6) OR ((triple4 ((triple5) -> rule2)) -> rule6) OR ((((triple2 triple7) -> rule3) triple6) -> rule6) OR ((((triple2 triple7) -> rule5) triple6) -> rule6) OR ((((triple2 triple7) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((triple2 triple7) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule3) triple6) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule5) triple6) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule3) triple6) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule5) triple6) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4) triple7) -> rule5) ((triple5) -> rule2)) -> rule6))] Fiona is furry.[(triple2 OR ((triple6) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((triple2 triple7) -> rule3) OR ((triple2 triple7) -> rule5) OR ((((triple6) -> rule4) triple7) -> rule3) OR ((((triple6) -> rule4) triple7) -> rule5) OR ((((((triple5) -> rule2)) -> rule4) triple7) -> rule3) OR ((((((triple5) -> rule2)) -> rule4) triple7) -> rule5))] Fiona is rough.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule2) OR ((triple2 triple1) -> rule1))] Fiona is smart.[(triple7)]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
((triple4 triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple4 ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple2 triple7) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple2 triple7) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple2 triple7) -> (rule3 % int3)) ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple2 triple7) -> (rule5 % int3)) ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple6) -> (rule4 % int3)) triple7) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple6) -> (rule4 % int3)) triple7) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple6) -> (rule4 % int4)) triple7) -> (rule3 % int3)) ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple6) -> (rule4 % int4)) triple7) -> (rule5 % int3)) ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule3 % int2)) ((triple5) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule5 % int2)) ((triple5) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
((triple6) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
((triple2 triple7) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple2 triple7) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple6) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple6) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple5) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple2 triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7