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