Charlie is blue. Charlie is cold. Erin is furry. Erin is green. Erin is nice. Gary is green. Gary is nice. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is smart. Harry is white. Furry, cold people are green. All white people are furry. If someone is green and furry then they are smart. If someone is smart then they are white. If someone is furry then they are smart. If Charlie is blue then Charlie is smart. If someone is nice and green then they are cold. If someone is white and green then they are nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Furry, cold people are green.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is green and furry then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart then they are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is furry then they are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If Charlie is blue then Charlie is smart.
((("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "smart" "+"))
If someone is nice and green then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is white and green then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Erin is green.
True
1
proof
[(triple4)]
("Erin" "is" "green" "+")
triple4
Gary is not green.
False
1
inv-proof
[(triple6)]
("Gary" "is" "green" "-")
triple6
Charlie is smart.
True
2
proof
[(((triple1) -> rule6))]
("Charlie" "is" "smart" "+")
((triple1) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Erin is not cold.
False
3
inv-proof
[(((triple5 triple4) -> rule7) OR ((((((((triple3) -> rule5)) -> rule4) triple4) -> rule8) triple4) -> rule7) OR ((((((((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule8) triple4) -> rule7))]
("Erin" "is" "cold" "-")
((triple5 triple4) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) triple4) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple4 triple3) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
True
3
proof
[(((((triple3) -> rule5)) -> rule4) OR ((((triple4 triple3) -> rule3)) -> rule4))]
("Erin" "is" "white" "+")
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple4 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Charlie is not white.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule4))]
("Charlie" "is" "white" "-")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
True
4
proof
[(((((((triple1) -> rule6)) -> rule4)) -> rule2))]
("Charlie" "is" "furry" "+")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is not furry.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule4)) -> rule2))]
("Charlie" "is" "furry" "-")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
True
6
proof
[(((((((((triple1) -> rule6)) -> rule4)) -> rule2) triple2) -> rule1))]
("Charlie" "is" "green" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is not green.
False
6
inv-proof
[(((((((((triple1) -> rule6)) -> rule4)) -> rule2) triple2) -> rule1))]
("Charlie" "is" "green" "-")
((((((((triple1) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
True
10
proof
[(((((((triple1) -> rule6)) -> rule4) ((((((((triple1) -> rule6)) -> rule4)) -> rule2) triple2) -> rule1)) -> rule8))]
("Charlie" "is" "nice" "+")
((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((((triple1) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is not nice.
False
10
inv-proof
[(((((((triple1) -> rule6)) -> rule4) ((((((((triple1) -> rule6)) -> rule4)) -> rule2) triple2) -> rule1)) -> rule8))]
("Charlie" "is" "nice" "-")
((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((((triple1) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Gary is not white.
Unknown
inv-rconc
[@3: Gary is white.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is furry.
Unknown
rconc
[@3: Gary is furry.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule3 <- FAIL)]]
("Gary" "is" "furry" "+")
Gary is not smart.
Unknown
inv-rconc
[@4: Gary is smart.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule4 <- rule5 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5 OR ((((((triple3) -> rule5)) -> rule4) triple4) -> rule8) OR ((((((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule8))] Gary is green.[(triple6)] Gary is nice.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple12 triple11) -> rule7) OR ((((triple14 triple11) -> rule8) triple11) -> rule7) OR ((((((triple13) -> rule4) triple11) -> rule8) triple11) -> rule7) OR ((((((((triple10) -> rule5)) -> rule4) triple11) -> rule8) triple11) -> rule7) OR ((((((((triple11 triple10) -> rule3)) -> rule4) triple11) -> rule8) triple11) -> rule7))] Harry is furry.[(triple10 OR ((triple14) -> rule2) OR ((((triple13) -> rule4)) -> rule2))] Harry is green.[(triple11 OR ((triple10 triple9) -> rule1) OR ((((triple14) -> rule2) triple9) -> rule1) OR ((((((triple13) -> rule4)) -> rule2) triple9) -> rule1))] Harry is nice.[(triple12 OR ((triple14 triple11) -> rule8) OR ((triple14 ((triple10 triple9) -> rule1)) -> rule8) OR ((((triple13) -> rule4) triple11) -> rule8) OR ((((triple13) -> rule4) ((triple10 triple9) -> rule1)) -> rule8) OR ((triple14 ((((triple14) -> rule2) triple9) -> rule1)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) triple11) -> rule8) OR ((((((triple11 triple10) -> rule3)) -> rule4) triple11) -> rule8) OR ((((triple13) -> rule4) ((((triple14) -> rule2) triple9) -> rule1)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((triple10 triple9) -> rule1)) -> rule8) OR ((((((triple11 triple10) -> rule3)) -> rule4) ((triple10 triple9) -> rule1)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((triple14) -> rule2) triple9) -> rule1)) -> rule8) OR ((((((triple11 triple10) -> rule3)) -> rule4) ((((triple14) -> rule2) triple9) -> rule1)) -> rule8) OR ((triple14 ((((((triple13) -> rule4)) -> rule2) triple9) -> rule1)) -> rule8) OR ((((((((triple10 triple9) -> rule1) triple10) -> rule3)) -> rule4) triple11) -> rule8) OR ((((triple13) -> rule4) ((((((triple13) -> rule4)) -> rule2) triple9) -> rule1)) -> rule8) OR ((((((((triple10 triple9) -> rule1) triple10) -> rule3)) -> rule4) ((triple10 triple9) -> rule1)) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) ((((((triple13) -> rule4)) -> rule2) triple9) -> rule1)) -> rule8) OR ((((((triple11 triple10) -> rule3)) -> rule4) ((((((triple13) -> rule4)) -> rule2) triple9) -> rule1)) -> rule8) OR ((((((((triple10 triple9) -> rule1) triple10) -> rule3)) -> rule4) ((((triple14) -> rule2) triple9) -> rule1)) -> rule8) OR ((((((((triple10 triple9) -> rule1) triple10) -> rule3)) -> rule4) ((((((triple13) -> rule4)) -> rule2) triple9) -> rule1)) -> rule8))] Harry is smart.[(triple13 OR ((triple10) -> rule5) OR ((triple11 triple10) -> rule3) OR ((((triple14) -> rule2)) -> rule5) OR ((triple11 ((triple14) -> rule2)) -> rule3) OR ((((triple10 triple9) -> rule1) triple10) -> rule3) OR ((((triple10 triple9) -> rule1) ((triple14) -> rule2)) -> rule3) OR ((((((triple14) -> rule2) triple9) -> rule1) triple10) -> rule3) OR ((((((triple14) -> rule2) triple9) -> rule1) ((triple14) -> rule2)) -> rule3))] Harry is white.[(triple14 OR ((triple13) -> rule4) OR ((((triple10) -> rule5)) -> rule4) OR ((((triple11 triple10) -> rule3)) -> rule4) OR ((((((triple10 triple9) -> rule1) triple10) -> rule3)) -> rule4))] @1: Charlie is smart.[(((triple1) -> rule6))] Erin is cold.[(((triple5 triple4) -> rule7) OR ((((((((triple3) -> rule5)) -> rule4) triple4) -> rule8) triple4) -> rule7) OR ((((((((triple4 triple3) -> rule3)) -> rule4) triple4) -> rule8) triple4) -> rule7))] Erin is smart.[(((triple3) -> rule5) OR ((triple4 triple3) -> rule3))] Gary is cold.[(((triple7 triple6) -> rule7))] @2: Charlie is white.[(((((triple1) -> rule6)) -> rule4))] Erin is white.[(((((triple3) -> rule5)) -> rule4) OR ((((triple4 triple3) -> rule3)) -> rule4))] @3: Charlie is furry.[(((((((triple1) -> rule6)) -> rule4)) -> rule2))] @4: Charlie is green.[(((((((((triple1) -> rule6)) -> rule4)) -> rule2) triple2) -> rule1))] @5: Charlie is nice.[(((((((triple1) -> rule6)) -> rule4) ((((((((triple1) -> rule6)) -> rule4)) -> rule2) triple2) -> rule1)) -> rule8))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple4 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((triple12 triple11) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple14 triple11) -> (rule8 % int2)) triple11) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((triple13) -> (rule4 % int3)) triple11) -> (rule8 % int2)) triple11) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((((triple10) -> (rule5 % int4))) -> (rule4 % int3)) triple11) -> (rule8 % int2)) triple11) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((((triple11 triple10) -> (rule3 % int4))) -> (rule4 % int3)) triple11) -> (rule8 % int2)) triple11) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
triple10
((triple14) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple11
((triple10 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple14) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple13) -> (rule4 % int3))) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple12
((triple14 triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple14 ((triple10 triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple13) -> (rule4 % int2)) triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple13) -> (rule4 % int3)) ((triple10 triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple14 ((((triple14) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple10) -> (rule5 % int3))) -> (rule4 % int2)) triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple11 triple10) -> (rule3 % int3))) -> (rule4 % int2)) triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple13) -> (rule4 % int4)) ((((triple14) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple10) -> (rule5 % int4))) -> (rule4 % int3)) ((triple10 triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple11 triple10) -> (rule3 % int4))) -> (rule4 % int3)) ((triple10 triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple10) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple14) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11 triple10) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple14) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple14 ((((((triple13) -> (rule4 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple10 triple9) -> (rule1 % int4)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple13) -> (rule4 % int4)) ((((((triple13) -> (rule4 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple10 triple9) -> (rule1 % int4)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((triple10 triple9) -> (rule1 % int4))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple10) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple13) -> (rule4 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11 triple10) -> (rule3 % int5))) -> (rule4 % int4)) ((((((triple13) -> (rule4 % int4))) -> (rule2 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple10 triple9) -> (rule1 % int5)) triple10) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple14) -> (rule2 % int2)) triple9) -> (rule1 % int5))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple10 triple9) -> (rule1 % int5)) triple10) -> (rule3 % int4))) -> (rule4 % int3)) ((((((triple13) -> (rule4 % int3))) -> (rule2 % int2)) triple9) -> (rule1 % int5))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
triple13
((triple10) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple11 triple10) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple14) -> (rule2 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple11 ((triple14) -> (rule2 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple10 triple9) -> (rule1 % int3)) ((triple14) -> (rule2 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple14) -> (rule2 % int3)) triple9) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple14) -> (rule2 % int3)) triple9) -> (rule1 % int2)) ((triple14) -> (rule2 % int3))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
triple14
((triple13) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple11 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple1) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple5 triple4) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) triple4) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple4 triple3) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((triple3) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple4 triple3) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 triple6) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple4 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((((triple1) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5