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