Charlie is round. Erin is furry. Erin is green. Erin is nice. Erin is young. Gary is cold. Gary is green. Gary is quiet. Harry is furry. Harry is green. Harry is nice. Harry is young. All round things are furry. If something is nice and round then it is young. If something is furry then it is round. If something is quiet and cold then it is green. Cold things are quiet. Nice things are furry. Furry things are cold. If Harry is furry and Harry is cold then Harry is young. Quiet things are nice.
Charlie is round.
("Charlie" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
All round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If something is nice and round then it is young.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something is furry then it is round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is quiet and cold then it is green.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
Furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If Harry is furry and Harry is cold then Harry is young.
((("Harry" "is" "furry" "+") ("Harry" "is" "cold" "+")) -> ("Harry" "is" "young" "+"))
Quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Erin is green.
True
1
proof
[(triple3 OR ((((((triple2) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule4) OR ((((((triple2) -> rule7)) -> rule5) ((((triple4) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple4) -> rule6)) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule4) OR ((((((((triple4) -> rule6)) -> rule7)) -> rule5) ((((triple4) -> rule6)) -> rule7)) -> rule4))]
("Erin" "is" "green" "+")
triple3
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) ((triple2) -> (rule7 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule6 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple2) -> (rule7 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is not young.
False
1
inv-proof
[(triple5 OR ((triple4 ((triple2) -> rule3)) -> rule2) OR ((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule9) ((triple2) -> rule3)) -> rule2) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule9) ((((triple4) -> rule6)) -> rule3)) -> rule2))]
("Erin" "is" "young" "-")
triple5
((triple4 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple4 ((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule9 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple2) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
Erin is round.
True
2
proof
[(((triple2) -> rule3) OR ((((triple4) -> rule6)) -> rule3))]
("Erin" "is" "round" "+")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Charlie is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is quiet.
True
3
proof
[(((((triple2) -> rule7)) -> rule5) OR ((((((triple4) -> rule6)) -> rule7)) -> rule5))]
("Erin" "is" "quiet" "+")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple4) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is not quiet.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule5) OR ((((((triple4) -> rule6)) -> rule7)) -> rule5))]
("Erin" "is" "quiet" "-")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple4) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Gary is round.
True
4
proof
[(((((((triple8) -> rule9)) -> rule6)) -> rule3) OR ((((((((triple6) -> rule5)) -> rule9)) -> rule6)) -> rule3))]
("Gary" "is" "round" "+")
((((((triple8) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((((triple6) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Charlie is not quiet.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule7)) -> rule5))]
("Charlie" "is" "quiet" "-")
((((((triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is nice.
True
5
proof
[(((((((((triple1) -> rule1)) -> rule7)) -> rule5)) -> rule9))]
("Charlie" "is" "nice" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is not nice.
False
5
inv-proof
[(((((((((triple1) -> rule1)) -> rule7)) -> rule5)) -> rule9))]
("Charlie" "is" "nice" "-")
((((((((triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is young.
True
7
proof
[(((((((((((triple1) -> rule1)) -> rule7)) -> rule5)) -> rule9) triple1) -> rule2))]
("Charlie" "is" "young" "+")
((((((((((triple1) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2)) triple1) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is not young.
False
7
inv-proof
[(((((((((((triple1) -> rule1)) -> rule7)) -> rule5)) -> rule9) triple1) -> rule2))]
("Charlie" "is" "young" "-")
((((((((((triple1) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2)) triple1) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
@0: Charlie is round.[(triple1)] Erin is furry.[(triple2 OR ((triple4) -> rule6))] Erin is green.[(triple3 OR ((((((triple2) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule4) OR ((((((triple2) -> rule7)) -> rule5) ((((triple4) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple4) -> rule6)) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule4) OR ((((((((triple4) -> rule6)) -> rule7)) -> rule5) ((((triple4) -> rule6)) -> rule7)) -> rule4))] Erin is nice.[(triple4 OR ((((((triple2) -> rule7)) -> rule5)) -> rule9))] Erin is young.[(triple5 OR ((triple4 ((triple2) -> rule3)) -> rule2) OR ((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule9) ((triple2) -> rule3)) -> rule2) OR ((((((((triple2) -> rule7)) -> rule5)) -> rule9) ((((triple4) -> rule6)) -> rule3)) -> rule2))] Gary is cold.[(triple6 OR ((((((triple8) -> rule9)) -> rule6)) -> rule7))] Gary is green.[(triple7 OR ((triple8 triple6) -> rule4) OR ((((triple6) -> rule5) triple6) -> rule4) OR ((triple8 ((((((triple8) -> rule9)) -> rule6)) -> rule7)) -> rule4) OR ((((triple6) -> rule5) ((((((triple8) -> rule9)) -> rule6)) -> rule7)) -> rule4))] Gary is quiet.[(triple8 OR ((triple6) -> rule5))] Harry is furry.[(triple9 OR ((triple11) -> rule6))] Harry is green.[(triple10 OR ((((((triple9) -> rule7)) -> rule5) ((triple9) -> rule7)) -> rule4) OR ((((((triple9) -> rule7)) -> rule5) ((((triple11) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple11) -> rule6)) -> rule7)) -> rule5) ((triple9) -> rule7)) -> rule4) OR ((((((((triple11) -> rule6)) -> rule7)) -> rule5) ((((triple11) -> rule6)) -> rule7)) -> rule4))] Harry is nice.[(triple11 OR ((((((triple9) -> rule7)) -> rule5)) -> rule9))] Harry is young.[(triple12 OR ((triple11 ((triple9) -> rule3)) -> rule2) OR ((triple9 ((triple9) -> rule7)) -> rule8) OR ((((triple11) -> rule6) ((triple9) -> rule7)) -> rule8) OR ((triple11 ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((triple9 ((((triple11) -> rule6)) -> rule7)) -> rule8) OR ((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule7)) -> rule8) OR ((((((((triple9) -> rule7)) -> rule5)) -> rule9) ((triple9) -> rule3)) -> rule2) OR ((((((((triple9) -> rule7)) -> rule5)) -> rule9) ((((triple11) -> rule6)) -> rule3)) -> rule2))] @1: Charlie is furry.[(((triple1) -> rule1))] Erin is cold.[(((triple2) -> rule7) OR ((((triple4) -> rule6)) -> rule7))] Erin is round.[(((triple2) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] Gary is nice.[(((triple8) -> rule9) OR ((((triple6) -> rule5)) -> rule9))] Harry is cold.[(((triple9) -> rule7) OR ((((triple11) -> rule6)) -> rule7))] Harry is round.[(((triple9) -> rule3) OR ((((triple11) -> rule6)) -> rule3))] @2: Charlie is cold.[(((((triple1) -> rule1)) -> rule7))] Erin is quiet.[(((((triple2) -> rule7)) -> rule5) OR ((((((triple4) -> rule6)) -> rule7)) -> rule5))] Gary is furry.[(((((triple8) -> rule9)) -> rule6) OR ((((((triple6) -> rule5)) -> rule9)) -> rule6))] Harry is quiet.[(((((triple9) -> rule7)) -> rule5) OR ((((((triple11) -> rule6)) -> rule7)) -> rule5))] @3: Charlie is quiet.[(((((((triple1) -> rule1)) -> rule7)) -> rule5))] Gary is round.[(((((((triple8) -> rule9)) -> rule6)) -> rule3) OR ((((((((triple6) -> rule5)) -> rule9)) -> rule6)) -> rule3))] @4: Charlie is green.[(((((((((triple1) -> rule1)) -> rule7)) -> rule5) ((((triple1) -> rule1)) -> rule7)) -> rule4))] Charlie is nice.[(((((((((triple1) -> rule1)) -> rule7)) -> rule5)) -> rule9))] Gary is young.[(((((triple8) -> rule9) ((((((triple8) -> rule9)) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule9) ((((((triple8) -> rule9)) -> rule6)) -> rule3)) -> rule2) OR ((((triple8) -> rule9) ((((((((triple6) -> rule5)) -> rule9)) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6) -> rule5)) -> rule9) ((((((((triple6) -> rule5)) -> rule9)) -> rule6)) -> rule3)) -> rule2))] @5: Charlie is young.[(((((((((((triple1) -> rule1)) -> rule7)) -> rule5)) -> rule9) triple1) -> rule2))]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((triple4) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple3
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) ((triple2) -> (rule7 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule6 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple2) -> (rule7 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
triple4
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
triple5
((triple4 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple4 ((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((((triple2) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule9 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple2) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
Gary is cold.
("Gary" "is" "cold" "+")
triple6
((((((triple8) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple7
((triple8 triple6) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple6) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple8 ((((((triple8) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple6) -> (rule5 % int5)) ((((((triple8) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple6) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple9
((triple11) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
((((((triple9) -> (rule7 % int3))) -> (rule5 % int2)) ((triple9) -> (rule7 % int3))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple9) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule6 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple9) -> (rule7 % int3))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple11) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple11
((((((triple9) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple11 ((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple9 ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple11 ((((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple9 ((((triple11) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple11) -> (rule6 % int3)) ((((triple11) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((((triple9) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule9 % int3)) ((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple9) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule9 % int4)) ((((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple8) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple9) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple4) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((((triple8) -> (rule9 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple6) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple11) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((((((triple8) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((((triple6) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((((triple8) -> (rule9 % int4)) ((((((triple8) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple6) -> (rule5 % int5))) -> (rule9 % int4)) ((((((triple8) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple8) -> (rule9 % int5)) ((((((((triple6) -> (rule5 % int4))) -> (rule9 % int5))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule9 % int4)) ((((((((triple6) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
((((((((((triple1) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule9 % int2)) triple1) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5