Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is white. Gary is blue. Gary is furry. Gary is white. Gary is young. Harry is furry. Harry is round. Harry is white. Blue, furry people are white. Furry, young people are white. If Harry is young and Harry is white then Harry is round. If Gary is white and Gary is round then Gary is nice. If someone is nice and white then they are green. If someone is white and furry then they are round.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Blue, furry people are white.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Furry, young people are white.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If Harry is young and Harry is white then Harry is round.
((("Harry" "is" "young" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "round" "+"))
If Gary is white and Gary is round then Gary is nice.
((("Gary" "is" "white" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "nice" "+"))
If someone is nice and white then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is white and furry then they are round.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Gary is round.
True
3
proof
[(((triple8 triple7) -> rule6) OR ((((triple6 triple7) -> rule1) triple7) -> rule6) OR ((((triple7 triple9) -> rule2) triple7) -> rule6))]
("Gary" "is" "round" "+")
((triple8 triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple6 triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple7 triple9) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Fiona is not round.
False
3
inv-proof
[(((triple5 triple2) -> rule6) OR ((((triple1 triple2) -> rule1) triple2) -> rule6))]
("Fiona" "is" "round" "-")
((triple5 triple2) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple1 triple2) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Gary is nice.
True
5
proof
[(((triple8 ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4))]
("Gary" "is" "nice" "+")
((triple8 ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple6 triple7) -> (rule1 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple7 triple9) -> (rule2 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple8 ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple8 ((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple6 triple7) -> (rule1 % int3)) ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple6 triple7) -> (rule1 % int3)) ((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple7 triple9) -> (rule2 % int3)) ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple7 triple9) -> (rule2 % int3)) ((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is not nice.
False
5
inv-proof
[(((triple8 ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4))]
("Gary" "is" "nice" "-")
((triple8 ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple6 triple7) -> (rule1 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple7 triple9) -> (rule2 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple8 ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple8 ((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple6 triple7) -> (rule1 % int3)) ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple6 triple7) -> (rule1 % int3)) ((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple7 triple9) -> (rule2 % int3)) ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple7 triple9) -> (rule2 % int3)) ((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
True
7
proof
[(((((triple8 ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5))]
("Gary" "is" "green" "+")
((((triple8 ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple8 triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple6 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple8 ((triple8 triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7 triple9) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is not green.
False
7
inv-proof
[(((((triple8 ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5))]
("Gary" "is" "green" "-")
((((triple8 ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple8 triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple6 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple8 ((triple8 triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7 triple9) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple1 triple2) -> rule1)) -> rule5))] Fiona is nice.[(triple4)] Fiona is white.[(triple5 OR ((triple1 triple2) -> rule1))] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is white.[(triple8 OR ((triple6 triple7) -> rule1) OR ((triple7 triple9) -> rule2))] Gary is young.[(triple9)] Harry is furry.[(triple10)] Harry is round.[(triple11 OR ((triple12 triple10) -> rule6))] Harry is white.[(triple12)] @1: Fiona is round.[(((triple5 triple2) -> rule6) OR ((((triple1 triple2) -> rule1) triple2) -> rule6))] Gary is round.[(((triple8 triple7) -> rule6) OR ((((triple6 triple7) -> rule1) triple7) -> rule6) OR ((((triple7 triple9) -> rule2) triple7) -> rule6))] @2: Gary is nice.[(((triple8 ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4))] @3: Gary is green.[(((((triple8 ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
((triple4 triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple4 ((triple1 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
((triple1 triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
((triple6 triple7) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple7 triple9) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
((triple12 triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
((triple5 triple2) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple1 triple2) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple8 triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple6 triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple7 triple9) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple6 triple7) -> (rule1 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple7 triple9) -> (rule2 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple8 ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple8 ((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple6 triple7) -> (rule1 % int3)) ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple6 triple7) -> (rule1 % int3)) ((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple7 triple9) -> (rule2 % int3)) ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple7 triple9) -> (rule2 % int3)) ((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((triple8 ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple8 triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple6 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple8 ((triple8 triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7 triple9) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple8 ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple6 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule2 % int4)) ((((triple7 triple9) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7 triple9) -> (rule2 % int4))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4