Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Dave is blue. Dave is kind. Dave is nice. Dave is smart. Dave is young. Erin is big. Erin is smart. Harry is blue. Harry is nice. If something is kind then it is red. Red things are smart. All red, smart things are blue. Kind things are big. If something is blue and nice then it is big. Big, smart things are red. If something is young then it is smart. If something is nice then it is big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If something is kind then it is red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
All red, smart things are blue.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is blue and nice then it is big.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Big, smart things are red.
((("something" "is" "big" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
If something is young then it is smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is nice then it is big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Charlie is young.
True
1
proof
[(triple7)]
("Charlie" "is" "young" "+")
triple7
Charlie is not big.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule8) OR ((triple2 triple4) -> rule5) OR ((((triple5 triple6) -> rule3) triple4) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) triple4) -> rule5) OR ((((triple5 ((triple7) -> rule7)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) triple6) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) ((triple5) -> rule2)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) ((triple7) -> rule7)) -> rule3) triple4) -> rule5) OR ((((triple5 ((((triple3) -> rule1)) -> rule2)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule3) triple4) -> rule5))]
("Charlie" "is" "big" "-")
triple1
((triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple2 triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple5 triple6) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple5 ((triple7) -> (rule7 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple3) -> (rule1 % int3)) triple6) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple3) -> (rule1 % int4)) ((triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple3) -> (rule1 % int4)) ((triple7) -> (rule7 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple5 ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple3) -> (rule1 % int4)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Dave is big.
True
2
proof
[(((triple10) -> rule8) OR ((triple9) -> rule4) OR ((triple8 triple10) -> rule5) OR ((((((triple9) -> rule1) triple11) -> rule3) triple10) -> rule5) OR ((((((triple9) -> rule1) ((triple12) -> rule7)) -> rule3) triple10) -> rule5) OR ((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule3) triple10) -> rule5))]
("Dave" "is" "big" "+")
((triple10) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple9) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple8 triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((((triple9) -> (rule1 % int3)) triple11) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple9) -> (rule1 % int4)) ((triple12) -> (rule7 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple9) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Erin is not red.
False
3
inv-proof
[(((triple13 triple14) -> rule6))]
("Erin" "is" "red" "-")
((triple13 triple14) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
True
5
proof
[(((((triple13 triple14) -> rule6) triple14) -> rule3))]
("Erin" "is" "blue" "+")
((((triple13 triple14) -> (rule6 % int2)) triple14) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not blue.
False
5
inv-proof
[(((((triple13 triple14) -> rule6) triple14) -> rule3))]
("Erin" "is" "blue" "-")
((((triple13 triple14) -> (rule6 % int2)) triple14) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Harry is not smart.
Unknown
inv-rconc
[@3: Harry is smart.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule7 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is red.
Unknown
rconc
[@3: Harry is red.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Charlie is big.[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule8) OR ((triple2 triple4) -> rule5) OR ((((triple5 triple6) -> rule3) triple4) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) triple4) -> rule5) OR ((((triple5 ((triple7) -> rule7)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) triple6) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) ((triple5) -> rule2)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) ((triple7) -> rule7)) -> rule3) triple4) -> rule5) OR ((((triple5 ((((triple3) -> rule1)) -> rule2)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule3) triple4) -> rule5))] Charlie is blue.[(triple2 OR ((triple5 triple6) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule3) OR ((triple5 ((triple7) -> rule7)) -> rule3) OR ((((triple3) -> rule1) triple6) -> rule3) OR ((((triple1 triple6) -> rule6) triple6) -> rule3) OR ((((triple3) -> rule1) ((triple5) -> rule2)) -> rule3) OR ((((triple3) -> rule1) ((triple7) -> rule7)) -> rule3) OR ((((triple1 triple6) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((triple1 triple6) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((triple5 ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((triple1 ((triple7) -> rule7)) -> rule6) triple6) -> rule3) OR ((((((triple3) -> rule4) triple6) -> rule6) triple6) -> rule3) OR ((((((triple4) -> rule8) triple6) -> rule6) triple6) -> rule3) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((triple1 triple6) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((triple1 ((triple7) -> rule7)) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((triple1 ((triple7) -> rule7)) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple3) -> rule4) triple6) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((((triple3) -> rule4) triple6) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) triple6) -> rule3) OR ((((((triple4) -> rule8) triple6) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((((triple4) -> rule8) triple6) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) triple6) -> rule3) OR ((((triple1 ((triple7) -> rule7)) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((((triple3) -> rule4) triple6) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple4) -> rule8) triple6) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((triple3) -> rule1) OR ((triple1 triple6) -> rule6) OR ((triple1 ((triple7) -> rule7)) -> rule6) OR ((((triple3) -> rule4) triple6) -> rule6) OR ((((triple4) -> rule8) triple6) -> rule6) OR ((((triple2 triple4) -> rule5) triple6) -> rule6) OR ((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) OR ((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) OR ((((triple2 triple4) -> rule5) ((triple7) -> rule7)) -> rule6))] Charlie is smart.[(triple6 OR ((triple5) -> rule2) OR ((triple7) -> rule7) OR ((((triple3) -> rule1)) -> rule2))] Charlie is young.[(triple7)] Dave is blue.[(triple8 OR ((((triple9) -> rule1) triple11) -> rule3) OR ((((triple9) -> rule1) ((triple12) -> rule7)) -> rule3) OR ((((((triple10) -> rule8) triple11) -> rule6) triple11) -> rule3) OR ((((((triple9) -> rule4) triple11) -> rule6) triple11) -> rule3) OR ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((triple10) -> rule8) triple11) -> rule6) ((triple12) -> rule7)) -> rule3) OR ((((((triple10) -> rule8) ((triple12) -> rule7)) -> rule6) triple11) -> rule3) OR ((((((triple9) -> rule4) triple11) -> rule6) ((triple12) -> rule7)) -> rule3) OR ((((((triple9) -> rule4) ((triple12) -> rule7)) -> rule6) triple11) -> rule3) OR ((((((triple10) -> rule8) triple11) -> rule6) ((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((triple10) -> rule8) ((triple12) -> rule7)) -> rule6) ((triple12) -> rule7)) -> rule3) OR ((((((triple9) -> rule4) triple11) -> rule6) ((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((triple9) -> rule4) ((triple12) -> rule7)) -> rule6) ((triple12) -> rule7)) -> rule3) OR ((((((triple10) -> rule8) ((triple12) -> rule7)) -> rule6) ((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((triple9) -> rule4) ((triple12) -> rule7)) -> rule6) ((((triple9) -> rule1)) -> rule2)) -> rule3))] Dave is kind.[(triple9)] Dave is nice.[(triple10)] Dave is smart.[(triple11 OR ((triple12) -> rule7) OR ((((triple9) -> rule1)) -> rule2))] Dave is young.[(triple12)] Erin is big.[(triple13)] Erin is smart.[(triple14)] Harry is blue.[(triple15)] Harry is nice.[(triple16)] @1: Dave is big.[(((triple10) -> rule8) OR ((triple9) -> rule4) OR ((triple8 triple10) -> rule5) OR ((((((triple9) -> rule1) triple11) -> rule3) triple10) -> rule5) OR ((((((triple9) -> rule1) ((triple12) -> rule7)) -> rule3) triple10) -> rule5) OR ((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule3) triple10) -> rule5))] Dave is red.[(((triple9) -> rule1) OR ((((triple10) -> rule8) triple11) -> rule6) OR ((((triple9) -> rule4) triple11) -> rule6) OR ((((triple8 triple10) -> rule5) triple11) -> rule6) OR ((((triple10) -> rule8) ((triple12) -> rule7)) -> rule6) OR ((((triple9) -> rule4) ((triple12) -> rule7)) -> rule6) OR ((((triple8 triple10) -> rule5) ((triple12) -> rule7)) -> rule6))] Erin is red.[(((triple13 triple14) -> rule6))] Harry is big.[(((triple16) -> rule8) OR ((triple15 triple16) -> rule5))] @2: Erin is blue.[(((((triple13 triple14) -> rule6) triple14) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple2 triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple5 triple6) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple5 ((triple7) -> (rule7 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple3) -> (rule1 % int3)) triple6) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple3) -> (rule1 % int4)) ((triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple3) -> (rule1 % int4)) ((triple7) -> (rule7 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple5 ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple3) -> (rule1 % int4)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
((triple5 triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple5 ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple5 ((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple3) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple1 triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple3) -> (rule1 % int3)) ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple3) -> (rule1 % int3)) ((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1 triple6) -> (rule6 % int3)) ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1 triple6) -> (rule6 % int3)) ((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple5 ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1 ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple3) -> (rule4 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple4) -> (rule8 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple3) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1 triple6) -> (rule6 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1 ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple1 ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule7 % int3))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple3) -> (rule4 % int4)) triple6) -> (rule6 % int3)) ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple3) -> (rule4 % int4)) triple6) -> (rule6 % int3)) ((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple4) -> (rule8 % int4)) triple6) -> (rule6 % int3)) ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple4) -> (rule8 % int4)) triple6) -> (rule6 % int3)) ((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple4) -> (rule8 % int4)) ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple1 ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple3) -> (rule4 % int4)) triple6) -> (rule6 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule7 % int3))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple4) -> (rule8 % int4)) triple6) -> (rule6 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple4) -> (rule8 % int4)) ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple4) -> (rule8 % int4)) ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule7 % int3))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple4) -> (rule8 % int4)) ((triple7) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple1 triple6) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple1 ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple3) -> (rule4 % int2)) triple6) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple2 triple4) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple4) -> (rule8 % int3)) ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple2 triple4) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
((triple5) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple7) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
((((triple9) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple12) -> (rule7 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple10) -> (rule8 % int3)) triple11) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple9) -> (rule4 % int3)) triple11) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple9) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple10) -> (rule8 % int4)) triple11) -> (rule6 % int3)) ((triple12) -> (rule7 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple10) -> (rule8 % int4)) ((triple12) -> (rule7 % int3))) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple9) -> (rule4 % int4)) triple11) -> (rule6 % int3)) ((triple12) -> (rule7 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple12) -> (rule7 % int3))) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple10) -> (rule8 % int4)) triple11) -> (rule6 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple10) -> (rule8 % int4)) ((triple12) -> (rule7 % int3))) -> (rule6 % int2)) ((triple12) -> (rule7 % int3))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple9) -> (rule4 % int4)) triple11) -> (rule6 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple12) -> (rule7 % int3))) -> (rule6 % int2)) ((triple12) -> (rule7 % int3))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple10) -> (rule8 % int4)) ((triple12) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule1 % int2))) -> (rule2 % int3))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple12) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule1 % int2))) -> (rule2 % int3))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
((triple12) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple12
Erin is big.
("Erin" "is" "big" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14
Harry is blue.
("Harry" "is" "blue" "+")
triple15
Harry is nice.
("Harry" "is" "nice" "+")
triple16
Dave is big.
("Dave" "is" "big" "+")
((triple10) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple9) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple8 triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((((triple9) -> (rule1 % int3)) triple11) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple9) -> (rule1 % int4)) ((triple12) -> (rule7 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple9) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
((triple9) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple10) -> (rule8 % int2)) triple11) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple9) -> (rule4 % int2)) triple11) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple8 triple10) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple10) -> (rule8 % int3)) ((triple12) -> (rule7 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple9) -> (rule4 % int3)) ((triple12) -> (rule7 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple8 triple10) -> (rule5 % int3)) ((triple12) -> (rule7 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((triple13 triple14) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple16) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple15 triple16) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple13 triple14) -> (rule6 % int2)) triple14) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2