Anne is red. Anne is round. Dave is red. Erin is cold. Erin is quiet. Erin is rough. Erin is smart. Harry is big. Harry is cold. Harry is red. Harry is round. Harry is smart. All cold, quiet things are big. Smart, cold things are rough. If something is quiet then it is cold. If something is big and cold then it is smart. If Erin is rough then Erin is cold. All round things are quiet. If something is big and red then it is smart. Big things are red.
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All cold, quiet things are big.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Smart, cold things are rough.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something is quiet then it is cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is big and cold then it is smart.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
If Erin is rough then Erin is cold.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "cold" "+"))
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is big and red then it is smart.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Erin is cold.
True
1
proof
[(triple4 OR ((triple5) -> rule3) OR ((triple6) -> rule5))]
("Erin" "is" "cold" "+")
triple4
((triple5) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple6) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Harry is not round.
False
1
inv-proof
[(triple11)]
("Harry" "is" "round" "-")
triple11
Harry is quiet.
True
2
proof
[(((triple11) -> rule6))]
("Harry" "is" "quiet" "+")
((triple11) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Erin is not big.
False
3
inv-proof
[(((triple4 triple5) -> rule1) OR ((((triple5) -> rule3) triple5) -> rule1) OR ((((triple6) -> rule5) triple5) -> rule1))]
("Erin" "is" "big" "-")
((triple4 triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple6) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Anne is cold.
True
3
proof
[(((((triple2) -> rule6)) -> rule3))]
("Anne" "is" "cold" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Erin is not red.
False
4
inv-proof
[(((((triple4 triple5) -> rule1)) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule1)) -> rule8) OR ((((((triple6) -> rule5) triple5) -> rule1)) -> rule8))]
("Erin" "is" "red" "-")
((((triple4 triple5) -> (rule1 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Anne is big.
True
6
proof
[(((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1))]
("Anne" "is" "big" "+")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule6 % int3))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is not big.
False
6
inv-proof
[(((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1))]
("Anne" "is" "big" "-")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule6 % int3))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
True
8
proof
[(((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) triple1) -> rule7) OR ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1)) -> rule8)) -> rule7))]
("Anne" "is" "smart" "+")
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2)) ((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3)) ((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is not smart.
False
8
inv-proof
[(((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) triple1) -> rule7) OR ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1)) -> rule8)) -> rule7))]
("Anne" "is" "smart" "-")
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2)) ((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3)) ((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is rough.
True
12
proof
[(((((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) triple1) -> rule7) ((((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((triple2) -> rule6)) -> rule3)) -> rule4) ((((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1)) -> rule8)) -> rule7) ((((triple2) -> rule6)) -> rule3)) -> rule2))]
("Anne" "is" "rough" "+")
((((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3)) triple1) -> (rule7 % int2)) ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3)) ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int2)) ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple2) -> (rule6 % int6))) -> (rule3 % int5)) ((triple2) -> (rule6 % int6))) -> (rule1 % int4)) ((((((((triple2) -> (rule6 % int6))) -> (rule3 % int5)) ((triple2) -> (rule6 % int6))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((((triple2) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
Anne is not rough.
False
12
inv-proof
[(((((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) triple1) -> rule7) ((((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((triple2) -> rule6)) -> rule3)) -> rule4) ((((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1)) -> rule8)) -> rule7) ((((triple2) -> rule6)) -> rule3)) -> rule2))]
("Anne" "is" "rough" "-")
((((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3)) triple1) -> (rule7 % int2)) ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3)) ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int2)) ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple2) -> (rule6 % int6))) -> (rule3 % int5)) ((triple2) -> (rule6 % int6))) -> (rule1 % int4)) ((((((((triple2) -> (rule6 % int6))) -> (rule3 % int5)) ((triple2) -> (rule6 % int6))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((((triple2) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
Dave is not rough.
Unknown
inv-rconc
[@3: Dave is rough.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule6 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is quiet.
Unknown
rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "quiet" "+")
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is big.
Unknown
rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not smart.
Unknown
inv-rconc
[@3: Dave is smart.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule6 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Anne is red.[(triple1 OR ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1)) -> rule8))] Anne is round.[(triple2)] Dave is red.[(triple3)] Erin is cold.[(triple4 OR ((triple5) -> rule3) OR ((triple6) -> rule5))] Erin is quiet.[(triple5)] Erin is rough.[(triple6 OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple5) -> rule3)) -> rule2) OR ((((((triple4 triple5) -> rule1) triple4) -> rule4) triple4) -> rule2) OR ((((((triple4 triple5) -> rule1) triple4) -> rule4) ((triple5) -> rule3)) -> rule2) OR ((((((triple4 triple5) -> rule1) ((triple5) -> rule3)) -> rule4) triple4) -> rule2) OR ((((((triple4 triple5) -> rule1) ((triple5) -> rule3)) -> rule4) ((triple5) -> rule3)) -> rule2) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple4) -> rule4) triple4) -> rule2) OR ((((((triple4 triple5) -> rule1) ((((triple4 triple5) -> rule1)) -> rule8)) -> rule7) triple4) -> rule2) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple4) -> rule4) ((triple5) -> rule3)) -> rule2) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule4) triple4) -> rule2) OR ((((((triple4 triple5) -> rule1) ((((triple4 triple5) -> rule1)) -> rule8)) -> rule7) ((triple5) -> rule3)) -> rule2) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule4) ((triple5) -> rule3)) -> rule2) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((triple4 triple5) -> rule1)) -> rule8)) -> rule7) triple4) -> rule2) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((triple4 triple5) -> rule1)) -> rule8)) -> rule7) ((triple5) -> rule3)) -> rule2) OR ((((((triple4 triple5) -> rule1) ((((((triple5) -> rule3) triple5) -> rule1)) -> rule8)) -> rule7) triple4) -> rule2) OR ((((((triple4 triple5) -> rule1) ((((((triple5) -> rule3) triple5) -> rule1)) -> rule8)) -> rule7) ((triple5) -> rule3)) -> rule2) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((((triple5) -> rule3) triple5) -> rule1)) -> rule8)) -> rule7) triple4) -> rule2) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((((triple5) -> rule3) triple5) -> rule1)) -> rule8)) -> rule7) ((triple5) -> rule3)) -> rule2))] Erin is smart.[(triple7 OR ((((triple4 triple5) -> rule1) triple4) -> rule4) OR ((((triple4 triple5) -> rule1) ((triple5) -> rule3)) -> rule4) OR ((((triple4 triple5) -> rule1) ((triple6) -> rule5)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule1) triple4) -> rule4) OR ((((((triple6) -> rule5) triple5) -> rule1) triple4) -> rule4) OR ((((triple4 triple5) -> rule1) ((((triple4 triple5) -> rule1)) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule1) ((triple6) -> rule5)) -> rule4) OR ((((((triple6) -> rule5) triple5) -> rule1) ((triple5) -> rule3)) -> rule4) OR ((((((triple6) -> rule5) triple5) -> rule1) ((triple6) -> rule5)) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule1) ((((triple4 triple5) -> rule1)) -> rule8)) -> rule7) OR ((((((triple6) -> rule5) triple5) -> rule1) ((((triple4 triple5) -> rule1)) -> rule8)) -> rule7) OR ((((triple4 triple5) -> rule1) ((((((triple5) -> rule3) triple5) -> rule1)) -> rule8)) -> rule7) OR ((((triple4 triple5) -> rule1) ((((((triple6) -> rule5) triple5) -> rule1)) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) triple5) -> rule1) ((((((triple5) -> rule3) triple5) -> rule1)) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) triple5) -> rule1) ((((((triple6) -> rule5) triple5) -> rule1)) -> rule8)) -> rule7) OR ((((((triple6) -> rule5) triple5) -> rule1) ((((((triple5) -> rule3) triple5) -> rule1)) -> rule8)) -> rule7) OR ((((((triple6) -> rule5) triple5) -> rule1) ((((((triple6) -> rule5) triple5) -> rule1)) -> rule8)) -> rule7))] Harry is big.[(triple8 OR ((triple9 ((triple11) -> rule6)) -> rule1) OR ((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1))] Harry is cold.[(triple9 OR ((((triple11) -> rule6)) -> rule3))] Harry is red.[(triple10 OR ((triple8) -> rule8) OR ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8))] Harry is round.[(triple11)] Harry is smart.[(triple12 OR ((triple8 triple10) -> rule7) OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple8) -> rule8)) -> rule7) OR ((triple8 ((((triple11) -> rule6)) -> rule3)) -> rule4) OR ((((triple9 ((triple11) -> rule6)) -> rule1) triple10) -> rule7) OR ((((triple9 ((triple11) -> rule6)) -> rule1) triple9) -> rule4) OR ((((triple9 ((triple11) -> rule6)) -> rule1) ((triple8) -> rule8)) -> rule7) OR ((((triple9 ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule3)) -> rule4) OR ((triple8 ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) OR ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) triple10) -> rule7) OR ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) triple9) -> rule4) OR ((((triple9 ((triple11) -> rule6)) -> rule1) ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) OR ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((triple8) -> rule8)) -> rule7) OR ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) OR ((triple8 ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) OR ((((triple9 ((triple11) -> rule6)) -> rule1) ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) OR ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7))] @1: Anne is quiet.[(((triple2) -> rule6))] Erin is big.[(((triple4 triple5) -> rule1) OR ((((triple5) -> rule3) triple5) -> rule1) OR ((((triple6) -> rule5) triple5) -> rule1))] Harry is quiet.[(((triple11) -> rule6))] Harry is rough.[(((triple12 triple9) -> rule2) OR ((((triple8 triple10) -> rule7) triple9) -> rule2) OR ((((triple8 triple9) -> rule4) triple9) -> rule2) OR ((triple12 ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((triple8 ((triple8) -> rule8)) -> rule7) triple9) -> rule2) OR ((((triple8 triple10) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((triple8 triple9) -> rule4) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((triple8 ((((triple11) -> rule6)) -> rule3)) -> rule4) triple9) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) triple10) -> rule7) triple9) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) triple9) -> rule4) triple9) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) ((triple8) -> rule8)) -> rule7) triple9) -> rule2) OR ((((triple8 ((((triple11) -> rule6)) -> rule3)) -> rule4) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) triple10) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) triple9) -> rule4) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule3)) -> rule4) triple9) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) ((triple8) -> rule8)) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule3)) -> rule4) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((triple8 ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) triple9) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) triple10) -> rule7) triple9) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) triple9) -> rule4) triple9) -> rule2) OR ((((triple8 ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) triple9) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((triple8) -> rule8)) -> rule7) triple9) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) triple10) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) triple9) -> rule4) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule3)) -> rule4) triple9) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((triple8) -> rule8)) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) triple9) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule3)) -> rule4) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((triple8 ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) triple9) -> rule2) OR ((((triple8 ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) triple9) -> rule2) OR ((((((triple9 ((triple11) -> rule6)) -> rule1) ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) triple9) -> rule2) OR ((((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1) ((((((((triple11) -> rule6)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule7) ((((triple11) -> rule6)) -> rule3)) -> rule2))] @2: Anne is cold.[(((((triple2) -> rule6)) -> rule3))] Erin is red.[(((((triple4 triple5) -> rule1)) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule1)) -> rule8) OR ((((((triple6) -> rule5) triple5) -> rule1)) -> rule8))] @3: Anne is big.[(((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1))] @4: Anne is smart.[(((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) triple1) -> rule7) OR ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1)) -> rule8)) -> rule7))] @5: Anne is rough.[(((((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) triple1) -> rule7) ((((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((triple2) -> rule6)) -> rule3)) -> rule4) ((((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((((((triple2) -> rule6)) -> rule3) ((triple2) -> rule6)) -> rule1)) -> rule8)) -> rule7) ((((triple2) -> rule6)) -> rule3)) -> rule2))]
Anne is red.
("Anne" "is" "red" "+")
triple1
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
((triple5) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple6) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
((triple7 triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple7 ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple4 triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple4 triple5) -> (rule1 % int4)) triple4) -> (rule4 % int3)) ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple4 triple5) -> (rule1 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple4 triple5) -> (rule1 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5) -> (rule3 % int3))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple4 triple5) -> (rule1 % int4)) ((((triple4 triple5) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2)) ((triple5) -> (rule3 % int4))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple4 triple5) -> (rule1 % int5)) ((((triple4 triple5) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2)) ((triple5) -> (rule3 % int4))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple5) -> (rule3 % int5)) triple5) -> (rule1 % int4)) ((((triple4 triple5) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple5) -> (rule3 % int5)) triple5) -> (rule1 % int4)) ((((triple4 triple5) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple5) -> (rule3 % int5))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple4 triple5) -> (rule1 % int5)) ((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4 triple5) -> (rule1 % int5)) ((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple5) -> (rule3 % int4))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple5) -> (rule3 % int5)) triple5) -> (rule1 % int4)) ((((((triple5) -> (rule3 % int5)) triple5) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple5) -> (rule3 % int5)) triple5) -> (rule1 % int4)) ((((((triple5) -> (rule3 % int5)) triple5) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple5) -> (rule3 % int5))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
triple7
((((triple4 triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4 triple5) -> (rule1 % int3)) ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple4 triple5) -> (rule1 % int3)) ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int3)) triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple4 triple5) -> (rule1 % int3)) ((((triple4 triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2)) ((triple6) -> (rule5 % int3))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int3)) triple5) -> (rule1 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int3)) triple5) -> (rule1 % int2)) ((triple6) -> (rule5 % int3))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int3)) ((((triple4 triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple6) -> (rule5 % int4)) triple5) -> (rule1 % int3)) ((((triple4 triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((((triple5) -> (rule3 % int3)) triple5) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((((triple6) -> (rule5 % int3)) triple5) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int3)) ((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int3)) ((((((triple6) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple6) -> (rule5 % int4)) triple5) -> (rule1 % int3)) ((((((triple5) -> (rule3 % int4)) triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple6) -> (rule5 % int4)) triple5) -> (rule1 % int3)) ((((((triple6) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
triple8
((triple9 ((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((triple11) -> (rule6 % int3))) -> (rule3 % int2)) ((triple11) -> (rule6 % int3))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((((triple11) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple10
((triple8) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((((triple11) -> (rule6 % int4))) -> (rule3 % int3)) ((triple11) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
((triple8 triple10) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple8 triple9) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple8 ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple8 ((((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple10) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple9 ((triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple9 ((triple11) -> (rule6 % int4))) -> (rule1 % int3)) ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple9 ((triple11) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple8 ((((triple9 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule3 % int3)) ((triple11) -> (rule6 % int4))) -> (rule1 % int2)) triple10) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule3 % int3)) ((triple11) -> (rule6 % int4))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple9 ((triple11) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple9 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3)) ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((triple11) -> (rule6 % int4))) -> (rule3 % int3)) ((triple11) -> (rule6 % int4))) -> (rule1 % int2)) ((((triple11) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3)) ((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((triple8 ((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int4)) ((((((((triple11) -> (rule6 % int5))) -> (rule3 % int3)) ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3)) ((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple4 triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple6) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple11) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple12 triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple8 triple10) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple8 triple9) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple12 ((((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple8 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple8 triple10) -> (rule7 % int4)) ((((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple8 triple9) -> (rule4 % int4)) ((((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple8 ((triple8) -> (rule8 % int5))) -> (rule7 % int4)) ((((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple8 ((((triple11) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple9 ((triple11) -> (rule6 % int4))) -> (rule1 % int3)) triple10) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple9 ((triple11) -> (rule6 % int4))) -> (rule1 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple8 ((((triple11) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((((triple11) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int4)) triple10) -> (rule7 % int3)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int4)) triple9) -> (rule4 % int3)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple9 ((triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple11) -> (rule6 % int6))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule4 % int2)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple8 ((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3)) triple10) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple8 ((((triple9 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple11) -> (rule6 % int6))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple9 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4)) ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3)) triple10) -> (rule7 % int2)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3)) triple9) -> (rule4 % int2)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple9 ((triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((((triple9 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple11) -> (rule6 % int6))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4)) ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) ((((triple11) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4)) ((((triple9 ((triple11) -> (rule6 % int6))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((((((triple11) -> (rule6 % int5))) -> (rule3 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int2)) ((((triple11) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4)) ((((triple9 ((triple11) -> (rule6 % int6))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((((triple11) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((triple8 ((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((triple8 ((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((((triple11) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((triple9 ((triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((((((((triple11) -> (rule6 % int6))) -> (rule3 % int4)) ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((triple9 ((triple11) -> (rule6 % int6))) -> (rule1 % int5)) ((((((((triple11) -> (rule6 % int6))) -> (rule3 % int4)) ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int3))) -> (rule7 % int2)) ((((triple11) -> (rule6 % int6))) -> (rule3 % int4))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4)) ((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4)) ((((((((triple11) -> (rule6 % int6))) -> (rule3 % int5)) ((triple11) -> (rule6 % int6))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((((triple11) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
Anne is cold.
("Anne" "is" "cold" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((((triple4 triple5) -> (rule1 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2)) ((triple2) -> (rule6 % int3))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2)) ((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3)) ((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
((((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3)) triple1) -> (rule7 % int2)) ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4)) ((triple2) -> (rule6 % int5))) -> (rule1 % int3)) ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int2)) ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple2) -> (rule6 % int6))) -> (rule3 % int5)) ((triple2) -> (rule6 % int6))) -> (rule1 % int4)) ((((((((triple2) -> (rule6 % int6))) -> (rule3 % int5)) ((triple2) -> (rule6 % int6))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((((triple2) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6