Erin is cold. Erin is green. Erin is nice. Erin is red. Gary is big. Gary is cold. Gary is green. Gary is nice. Gary is smart. Harry is nice. If someone is kind and green then they are cold. Smart people are kind. All red people are big. If someone is red then they are cold. Kind, cold people are nice. If someone is red and cold then they are smart. All green people are red. All red, kind people are nice.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Kind, cold people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and cold then they are smart.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All red, kind people are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Harry is not nice.
False
1
inv-proof
[(triple10)]
("Harry" "is" "nice" "-")
triple10
Erin is big.
True
2
proof
[(((triple4) -> rule3) OR ((((triple2) -> rule7)) -> rule3))]
("Erin" "is" "big" "+")
((triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Gary is not kind.
False
2
inv-proof
[(((triple9) -> rule2) OR ((((((triple7) -> rule7) triple6) -> rule6)) -> rule2) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule4)) -> rule6)) -> rule2))]
("Gary" "is" "kind" "-")
((triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((((triple7) -> (rule7 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Harry is not kind.
Unknown
inv-rconc
[@3: Harry is kind.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule7 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "red" "+")
@0: Erin is cold.[(triple1 OR ((triple4) -> rule4) OR ((((triple2) -> rule7)) -> rule4))] Erin is green.[(triple2)] Erin is nice.[(triple3 OR ((triple4 ((((triple4 triple1) -> rule6)) -> rule2)) -> rule8) OR ((((((triple4 triple1) -> rule6)) -> rule2) triple1) -> rule5) OR ((((triple2) -> rule7) ((((triple4 triple1) -> rule6)) -> rule2)) -> rule8) OR ((((((triple4 triple1) -> rule6)) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((((triple4 triple1) -> rule6)) -> rule2) ((((triple2) -> rule7)) -> rule4)) -> rule5) OR ((triple4 ((((triple4 ((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((triple4 ((((((triple2) -> rule7) triple1) -> rule6)) -> rule2)) -> rule8) OR ((((((triple4 ((triple4) -> rule4)) -> rule6)) -> rule2) triple1) -> rule5) OR ((((((((triple2) -> rule7) triple1) -> rule6)) -> rule2) triple1) -> rule5) OR ((triple4 ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((((triple2) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) triple1) -> rule6)) -> rule2)) -> rule8) OR ((((((triple4 ((triple4) -> rule4)) -> rule6)) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((((((triple2) -> rule7) triple1) -> rule6)) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule6)) -> rule2) triple1) -> rule5) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((((((triple4 ((triple4) -> rule4)) -> rule6)) -> rule2) ((((triple2) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule7) triple1) -> rule6)) -> rule2) ((((triple2) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule6)) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule6)) -> rule2) ((((triple2) -> rule7)) -> rule4)) -> rule5) OR ((triple4 ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2) triple1) -> rule5) OR ((triple4 ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((((triple2) -> rule7) ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2) triple1) -> rule5) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2) ((((triple2) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2) ((triple4) -> rule4)) -> rule5) OR ((((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2) ((((triple2) -> rule7)) -> rule4)) -> rule5))] Erin is red.[(triple4 OR ((triple2) -> rule7))] Gary is big.[(triple5 OR ((((triple7) -> rule7)) -> rule3))] Gary is cold.[(triple6 OR ((((triple7) -> rule7)) -> rule4) OR ((((triple9) -> rule2) triple7) -> rule1))] Gary is green.[(triple7)] Gary is nice.[(triple8 OR ((((triple9) -> rule2) triple6) -> rule5) OR ((((triple7) -> rule7) ((triple9) -> rule2)) -> rule8) OR ((((triple9) -> rule2) ((((triple7) -> rule7)) -> rule4)) -> rule5) OR ((((triple9) -> rule2) ((((triple9) -> rule2) triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule7) triple6) -> rule6)) -> rule2) triple6) -> rule5) OR ((((triple7) -> rule7) ((((((triple7) -> rule7) triple6) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple7) -> rule7) triple6) -> rule6)) -> rule2) ((((triple7) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule7) triple6) -> rule6)) -> rule2) ((((triple9) -> rule2) triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule4)) -> rule6)) -> rule2) triple6) -> rule5) OR ((((triple7) -> rule7) ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule4)) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule4)) -> rule6)) -> rule2) ((((triple7) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule4)) -> rule6)) -> rule2) ((((triple9) -> rule2) triple7) -> rule1)) -> rule5))] Gary is smart.[(triple9 OR ((((triple7) -> rule7) triple6) -> rule6) OR ((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule4)) -> rule6))] Harry is nice.[(triple10)] @1: Erin is big.[(((triple4) -> rule3) OR ((((triple2) -> rule7)) -> rule3))] Erin is smart.[(((triple4 triple1) -> rule6) OR ((triple4 ((triple4) -> rule4)) -> rule6) OR ((((triple2) -> rule7) triple1) -> rule6) OR ((((triple2) -> rule7) ((triple4) -> rule4)) -> rule6) OR ((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule6) OR ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule6))] Gary is kind.[(((triple9) -> rule2) OR ((((((triple7) -> rule7) triple6) -> rule6)) -> rule2) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule4)) -> rule6)) -> rule2))] Gary is red.[(((triple7) -> rule7))] @2: Erin is kind.[(((((triple4 triple1) -> rule6)) -> rule2) OR ((((triple4 ((triple4) -> rule4)) -> rule6)) -> rule2) OR ((((((triple2) -> rule7) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule6)) -> rule2) OR ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule6)) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
((triple4) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
((triple4 ((((triple4 triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple4 triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple2) -> (rule7 % int4)) ((((triple4 triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple4 triple1) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple4 triple1) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple4 ((((triple4 ((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((triple4 ((((((triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((triple4 ((((((triple2) -> (rule7 % int5)) ((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple2) -> (rule7 % int5)) ((((triple4 ((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple2) -> (rule7 % int4)) ((((((triple2) -> (rule7 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple4) -> (rule4 % int4))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple2) -> (rule7 % int5)) triple1) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple2) -> (rule7 % int5)) ((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple2) -> (rule7 % int5)) ((((((triple2) -> (rule7 % int5)) ((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule7 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((((triple2) -> (rule7 % int5)) triple1) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple2) -> (rule7 % int5)) ((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple4) -> (rule4 % int4))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple2) -> (rule7 % int5)) ((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((triple4 ((((triple4 ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple4 ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((triple4 ((((((triple2) -> (rule7 % int5)) ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple2) -> (rule7 % int5)) ((((triple4 ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple4 ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple4) -> (rule4 % int4))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple2) -> (rule7 % int5)) ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple2) -> (rule7 % int5)) ((((((triple2) -> (rule7 % int5)) ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple4 ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple2) -> (rule7 % int5)) ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple4) -> (rule4 % int4))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple2) -> (rule7 % int5)) ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
triple4
((triple2) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple5
((((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple6
((((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((((triple9) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple7) -> (rule7 % int3)) ((triple9) -> (rule2 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple9) -> (rule2 % int4)) ((((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((((triple7) -> (rule7 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple7) -> (rule7 % int4)) ((((((triple7) -> (rule7 % int4)) triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple7) -> (rule7 % int5)) triple6) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple7) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple7) -> (rule7 % int5)) triple6) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7) -> (rule7 % int5)) ((((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((((triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((((triple9) -> (rule2 % int2)) triple7) -> (rule1 % int4))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
triple9
((((triple7) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple7) -> (rule7 % int3)) ((((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
((triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((triple4 triple1) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple4 ((triple4) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple2) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple4) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple4 ((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((((triple7) -> (rule7 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((triple7) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple4 triple1) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple2) -> (rule7 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple2) -> (rule7 % int4)) ((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple4 ((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple2) -> (rule7 % int4)) ((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4