Bob is furry. Bob is red. Bob is round. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is round. If someone is furry and nice then they are big. Furry people are kind. If someone is nice and green then they are furry. If someone is green then they are nice. If someone is furry then they are red. Green people are furry. All red people are furry. Furry people are green.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is furry and nice then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and green then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry then they are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Fiona is furry.
True
1
proof
[(triple5 OR ((triple6) -> rule6) OR ((triple8) -> rule7) OR ((((triple6) -> rule4) triple6) -> rule3))]
("Fiona" "is" "furry" "+")
triple5
((triple6) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple8) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Gary is not round.
False
1
inv-proof
[(triple15)]
("Gary" "is" "round" "-")
triple15
Gary is big.
True
3
proof
[(((triple10 triple13) -> rule1) OR ((triple10 ((triple11) -> rule4)) -> rule1) OR ((((triple11) -> rule6) triple13) -> rule1) OR ((((triple14) -> rule7) triple13) -> rule1) OR ((((triple13 triple11) -> rule3) triple13) -> rule1) OR ((((triple11) -> rule6) ((triple11) -> rule4)) -> rule1) OR ((((triple14) -> rule7) ((triple11) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule3) ((triple11) -> rule4)) -> rule1) OR ((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) triple13) -> rule1) OR ((((triple11) -> rule6) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((triple14) -> rule7) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) ((triple11) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((triple10 ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple11) -> rule6) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple14) -> rule7) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule3) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1))]
("Gary" "is" "big" "+")
((triple10 triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple10 ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple11) -> (rule6 % int2)) triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple14) -> (rule7 % int2)) triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple13 triple11) -> (rule3 % int2)) triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple14) -> (rule7 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple13 triple11) -> (rule3 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple10 ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2)) triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple11) -> (rule6 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple14) -> (rule7 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple13 triple11) -> (rule3 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2)) ((triple11) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3)) ((((triple10) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((triple10 ((((((triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple11) -> (rule6 % int4)) ((((((triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple14) -> (rule7 % int4)) ((((((triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple13 triple11) -> (rule3 % int4)) ((((((triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3)) ((((((triple14) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Bob is not kind.
False
2
inv-proof
[(((triple1) -> rule2) OR ((((triple2) -> rule7)) -> rule2))]
("Bob" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
True
3
proof
[(((((triple1) -> rule8)) -> rule4) OR ((((((triple2) -> rule7)) -> rule8)) -> rule4))]
("Bob" "is" "nice" "+")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is not nice.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule4) OR ((((((triple2) -> rule7)) -> rule8)) -> rule4))]
("Bob" "is" "nice" "-")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
True
5
proof
[(((triple1 ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((((triple2) -> rule7) ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((triple1 ((((((triple2) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule8)) -> rule4)) -> rule1))]
("Bob" "is" "big" "+")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple2) -> (rule7 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple1 ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple2) -> (rule7 % int4)) ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is not big.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((((triple2) -> rule7) ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((triple1 ((((((triple2) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule8)) -> rule4)) -> rule1))]
("Bob" "is" "big" "-")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple2) -> (rule7 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple1 ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple2) -> (rule7 % int4)) ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
@0: Bob is furry.[(triple1 OR ((triple2) -> rule7))] Bob is red.[(triple2 OR ((triple1) -> rule5))] Bob is round.[(triple3)] Fiona is big.[(triple4 OR ((triple5 ((triple6) -> rule4)) -> rule1) OR ((((triple6) -> rule6) ((triple6) -> rule4)) -> rule1) OR ((((triple8) -> rule7) ((triple6) -> rule4)) -> rule1) OR ((triple5 ((((triple5) -> rule8)) -> rule4)) -> rule1) OR ((((triple6) -> rule6) ((((triple5) -> rule8)) -> rule4)) -> rule1) OR ((((triple8) -> rule7) ((((triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) triple6) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) triple6) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule1) OR ((triple5 ((((((triple8) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple6) -> rule6) ((((((triple8) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple8) -> rule7) ((((((triple8) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) triple6) -> rule3) ((((((triple8) -> rule7)) -> rule8)) -> rule4)) -> rule1))] Fiona is furry.[(triple5 OR ((triple6) -> rule6) OR ((triple8) -> rule7) OR ((((triple6) -> rule4) triple6) -> rule3))] Fiona is green.[(triple6 OR ((triple5) -> rule8) OR ((((triple8) -> rule7)) -> rule8))] Fiona is kind.[(triple7 OR ((triple5) -> rule2) OR ((((triple6) -> rule6)) -> rule2) OR ((((triple8) -> rule7)) -> rule2) OR ((((((triple6) -> rule4) triple6) -> rule3)) -> rule2))] Fiona is red.[(triple8 OR ((triple5) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((((triple6) -> rule4) triple6) -> rule3)) -> rule5))] Fiona is round.[(triple9)] Gary is furry.[(triple10 OR ((triple11) -> rule6) OR ((triple14) -> rule7) OR ((triple13 triple11) -> rule3) OR ((((triple11) -> rule4) triple11) -> rule3))] Gary is green.[(triple11 OR ((triple10) -> rule8) OR ((((triple14) -> rule7)) -> rule8))] Gary is kind.[(triple12 OR ((triple10) -> rule2) OR ((((triple11) -> rule6)) -> rule2) OR ((((triple14) -> rule7)) -> rule2) OR ((((triple13 triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule4) triple11) -> rule3)) -> rule2))] Gary is nice.[(triple13 OR ((triple11) -> rule4) OR ((((triple10) -> rule8)) -> rule4) OR ((((((triple14) -> rule7)) -> rule8)) -> rule4))] Gary is red.[(triple14 OR ((triple10) -> rule5) OR ((((triple11) -> rule6)) -> rule5) OR ((((triple13 triple11) -> rule3)) -> rule5) OR ((((((triple11) -> rule4) triple11) -> rule3)) -> rule5))] Gary is round.[(triple15)] @1: Bob is green.[(((triple1) -> rule8) OR ((((triple2) -> rule7)) -> rule8))] Bob is kind.[(((triple1) -> rule2) OR ((((triple2) -> rule7)) -> rule2))] Fiona is nice.[(((triple6) -> rule4) OR ((((triple5) -> rule8)) -> rule4) OR ((((((triple8) -> rule7)) -> rule8)) -> rule4))] Gary is big.[(((triple10 triple13) -> rule1) OR ((triple10 ((triple11) -> rule4)) -> rule1) OR ((((triple11) -> rule6) triple13) -> rule1) OR ((((triple14) -> rule7) triple13) -> rule1) OR ((((triple13 triple11) -> rule3) triple13) -> rule1) OR ((((triple11) -> rule6) ((triple11) -> rule4)) -> rule1) OR ((((triple14) -> rule7) ((triple11) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule3) ((triple11) -> rule4)) -> rule1) OR ((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) triple13) -> rule1) OR ((((triple11) -> rule6) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((triple14) -> rule7) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) ((triple11) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule1) OR ((triple10 ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple11) -> rule6) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple14) -> rule7) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule3) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) triple11) -> rule3) ((((((triple14) -> rule7)) -> rule8)) -> rule4)) -> rule1))] @2: Bob is nice.[(((((triple1) -> rule8)) -> rule4) OR ((((((triple2) -> rule7)) -> rule8)) -> rule4))] @3: Bob is big.[(((triple1 ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((((triple2) -> rule7) ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((triple1 ((((((triple2) -> rule7)) -> rule8)) -> rule4)) -> rule1) OR ((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule8)) -> rule4)) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple2
((triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
((triple5 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple8) -> (rule7 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((triple5 ((((triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple6) -> (rule6 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple8) -> (rule7 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2)) ((triple6) -> (rule4 % int3))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3)) ((((triple5) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((triple5 ((((((triple8) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple6) -> (rule6 % int4)) ((((((triple8) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple8) -> (rule7 % int4)) ((((((triple8) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3)) ((((((triple8) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple6) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple8) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple5) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((triple5) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple5) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
((triple11) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple14) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple13 triple11) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple11) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple11
((triple10) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple14) -> (rule7 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple12
((triple10) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple14) -> (rule7 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple13 triple11) -> (rule3 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
triple13
((triple11) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple14) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple14
((triple10) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple13 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple15
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple8) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((triple10 triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple10 ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple11) -> (rule6 % int2)) triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple14) -> (rule7 % int2)) triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple13 triple11) -> (rule3 % int2)) triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple14) -> (rule7 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple13 triple11) -> (rule3 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple10 ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2)) triple13) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple11) -> (rule6 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple14) -> (rule7 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple13 triple11) -> (rule3 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2)) ((triple11) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3)) ((((triple10) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((triple10 ((((((triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple11) -> (rule6 % int4)) ((((((triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple14) -> (rule7 % int4)) ((((((triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple13 triple11) -> (rule3 % int4)) ((((((triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3)) ((((((triple14) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple2) -> (rule7 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple1 ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple2) -> (rule7 % int4)) ((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4