Bob is nice. Bob is rough. Bob is round. Bob is smart. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is round. Fiona is blue. Fiona is nice. Fiona is smart. Gary is blue. Gary is nice. Furry things are rough. If something is round and smart then it is furry. If something is nice then it is round. All furry, rough things are smart. Rough things are cold. Round things are smart.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If something is round and smart then it is furry.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If something is nice then it is round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
All furry, rough things are smart.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Charlie is rough.
True
1
proof
[(triple8 OR ((triple6) -> rule1) OR ((((triple9 ((triple9) -> rule6)) -> rule2)) -> rule1) OR ((((((triple7) -> rule3) ((triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
("Charlie" "is" "rough" "+")
triple8
((triple6) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple9 ((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple7) -> (rule3 % int4)) ((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple9 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Bob is not rough.
False
1
inv-proof
[(triple2 OR ((((triple3 triple4) -> rule2)) -> rule1) OR ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) OR ((((((triple1) -> rule3) triple4) -> rule2)) -> rule1) OR ((((((triple1) -> rule3) ((triple3) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
("Bob" "is" "rough" "-")
triple2
((((triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple1) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int4)) ((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is furry.
True
3
proof
[(((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2) OR ((((triple1) -> rule3) triple4) -> rule2) OR ((((triple1) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((triple3 ((((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2))]
("Bob" "is" "furry" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple3 ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not furry.
False
3
inv-proof
[(((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2) OR ((((triple1) -> rule3) triple4) -> rule2) OR ((((triple1) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((triple3 ((((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2))]
("Bob" "is" "furry" "-")
((triple3 triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple3 ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Fiona is furry.
True
4
proof
[(((((triple11) -> rule3) triple12) -> rule2) OR ((((triple11) -> rule3) ((((triple11) -> rule3)) -> rule6)) -> rule2))]
("Fiona" "is" "furry" "+")
((((triple11) -> (rule3 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple11) -> (rule3 % int3)) ((((triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Gary is not smart.
False
3
inv-proof
[(((((triple14) -> rule3)) -> rule6))]
("Gary" "is" "smart" "-")
((((triple14) -> (rule3 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
True
6
proof
[(((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule2))]
("Gary" "is" "furry" "+")
((((triple14) -> (rule3 % int3)) ((((triple14) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Fiona is not rough.
False
5
inv-proof
[(((((((triple11) -> rule3) triple12) -> rule2)) -> rule1) OR ((((((triple11) -> rule3) ((((triple11) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
("Fiona" "is" "rough" "-")
((((((triple11) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple11) -> (rule3 % int4)) ((((triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Gary is rough.
True
7
proof
[(((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
("Gary" "is" "rough" "+")
((((((triple14) -> (rule3 % int4)) ((((triple14) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not rough.
False
7
inv-proof
[(((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
("Gary" "is" "rough" "-")
((((((triple14) -> (rule3 % int4)) ((((triple14) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is cold.
True
8
proof
[(((((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5))]
("Gary" "is" "cold" "+")
((((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is not cold.
False
8
inv-proof
[(((((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5))]
("Gary" "is" "cold" "-")
((((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2 OR ((((triple3 triple4) -> rule2)) -> rule1) OR ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) OR ((((((triple1) -> rule3) triple4) -> rule2)) -> rule1) OR ((((((triple1) -> rule3) ((triple3) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule1))] Bob is round.[(triple3 OR ((triple1) -> rule3))] Bob is smart.[(triple4 OR ((triple3) -> rule6) OR ((((triple1) -> rule3)) -> rule6))] Charlie is blue.[(triple5)] Charlie is furry.[(triple6 OR ((triple9 ((triple9) -> rule6)) -> rule2) OR ((((triple7) -> rule3) ((triple9) -> rule6)) -> rule2) OR ((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule2) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule2))] Charlie is nice.[(triple7)] Charlie is rough.[(triple8 OR ((triple6) -> rule1) OR ((((triple9 ((triple9) -> rule6)) -> rule2)) -> rule1) OR ((((((triple7) -> rule3) ((triple9) -> rule6)) -> rule2)) -> rule1) OR ((((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule2)) -> rule1))] Charlie is round.[(triple9 OR ((triple7) -> rule3))] Fiona is blue.[(triple10)] Fiona is nice.[(triple11)] Fiona is smart.[(triple12 OR ((((triple11) -> rule3)) -> rule6))] Gary is blue.[(triple13)] Gary is nice.[(triple14)] @1: Bob is cold.[(((triple2) -> rule5) OR ((((((triple3 triple4) -> rule2)) -> rule1)) -> rule5) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple1) -> rule3) triple4) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple1) -> rule3) ((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((((((triple3 ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5))] Bob is furry.[(((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2) OR ((((triple1) -> rule3) triple4) -> rule2) OR ((((triple1) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((triple3 ((((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2))] Charlie is cold.[(((triple8) -> rule5) OR ((((triple6) -> rule1)) -> rule5) OR ((((((triple9 ((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule3) ((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((((((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5))] Charlie is smart.[(((triple9) -> rule6) OR ((triple6 triple8) -> rule4) OR ((((triple7) -> rule3)) -> rule6) OR ((triple6 ((triple6) -> rule1)) -> rule4))] Fiona is round.[(((triple11) -> rule3))] Gary is round.[(((triple14) -> rule3))] @2: Fiona is furry.[(((((triple11) -> rule3) triple12) -> rule2) OR ((((triple11) -> rule3) ((((triple11) -> rule3)) -> rule6)) -> rule2))] Gary is smart.[(((((triple14) -> rule3)) -> rule6))] @3: Fiona is rough.[(((((((triple11) -> rule3) triple12) -> rule2)) -> rule1) OR ((((((triple11) -> rule3) ((((triple11) -> rule3)) -> rule6)) -> rule2)) -> rule1))] Gary is furry.[(((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule2))] @4: Fiona is cold.[(((((((((triple11) -> rule3) triple12) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple11) -> rule3) ((((triple11) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5))] Gary is rough.[(((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule2)) -> rule1))] @5: Gary is cold.[(((((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
((((triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple1) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple1) -> (rule3 % int4)) ((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple1) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple4
((triple3) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
((triple9 ((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple9 ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
((triple6) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple9 ((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple7) -> (rule3 % int4)) ((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple9 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
triple9
((triple7) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple1) -> (rule3 % int4)) triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple1) -> (rule3 % int5)) ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple3 ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple3 ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple8) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple9 ((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple7) -> (rule3 % int5)) ((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple9 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple9) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple6 triple8) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple6 ((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple11) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple14) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple11) -> (rule3 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple11) -> (rule3 % int3)) ((((triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((((triple14) -> (rule3 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple11) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple11) -> (rule3 % int4)) ((((triple11) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
((((triple14) -> (rule3 % int3)) ((((triple14) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((((triple11) -> (rule3 % int4)) triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple11) -> (rule3 % int5)) ((((triple11) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple14) -> (rule3 % int4)) ((((triple14) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5