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