Anne is green. Bob is smart. Dave is furry. Dave is nice. Dave is red. Dave is smart. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is red. If something is green then it is nice. All nice, furry things are smart. If something is red then it is green. Furry, green things are big. Red things are green. If something is nice then it is blue. All smart things are big. All big things are red.
Anne is green.
("Anne" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All nice, furry things are smart.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Furry, green things are big.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
Red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All smart things are big.
((("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Harry is not red.
False
1
inv-proof
[(triple12 OR ((triple7) -> rule8) OR ((((triple9 triple10) -> rule4)) -> rule8) OR ((((((triple11 triple9) -> rule2)) -> rule7)) -> rule8) OR ((((((((triple10) -> rule1) triple9) -> rule2)) -> rule7)) -> rule8))]
("Harry" "is" "red" "-")
triple12
((triple7) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple9 triple10) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple11 triple9) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((((triple10) -> (rule1 % int4)) triple9) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Dave is blue.
True
2
proof
[(((triple4) -> rule6) OR ((((((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((((triple5) -> rule5)) -> rule1)) -> rule6) OR ((((((((((triple6) -> rule7)) -> rule8)) -> rule3)) -> rule1)) -> rule6) OR ((((((((((triple6) -> rule7)) -> rule8)) -> rule5)) -> rule1)) -> rule6))]
("Dave" "is" "blue" "+")
((triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((((((triple6) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple6) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Harry is not smart.
False
3
inv-proof
[(((triple11 triple9) -> rule2) OR ((((triple10) -> rule1) triple9) -> rule2) OR ((((((triple12) -> rule3)) -> rule1) triple9) -> rule2) OR ((((((triple12) -> rule5)) -> rule1) triple9) -> rule2) OR ((((((((triple7) -> rule8)) -> rule3)) -> rule1) triple9) -> rule2) OR ((((((((triple7) -> rule8)) -> rule5)) -> rule1) triple9) -> rule2))]
("Harry" "is" "smart" "-")
((triple11 triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple12) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Bob is red.
True
3
proof
[(((((triple2) -> rule7)) -> rule8))]
("Bob" "is" "red" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not red.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule8))]
("Bob" "is" "red" "-")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
True
4
proof
[(((((((triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((triple2) -> rule7)) -> rule8)) -> rule5))]
("Bob" "is" "green" "+")
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not green.
False
4
inv-proof
[(((((((triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((triple2) -> rule7)) -> rule8)) -> rule5))]
("Bob" "is" "green" "-")
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
True
5
proof
[(((((((((triple2) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule1))]
("Bob" "is" "nice" "+")
((((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not nice.
False
5
inv-proof
[(((((((((triple2) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule1))]
("Bob" "is" "nice" "-")
((((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is blue.
True
6
proof
[(((((((((((triple2) -> rule7)) -> rule8)) -> rule3)) -> rule1)) -> rule6) OR ((((((((((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule1)) -> rule6))]
("Bob" "is" "blue" "+")
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is not blue.
False
6
inv-proof
[(((((((((((triple2) -> rule7)) -> rule8)) -> rule3)) -> rule1)) -> rule6) OR ((((((((((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule1)) -> rule6))]
("Bob" "is" "blue" "-")
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is red.
Unknown
rconc
[@3: Anne is red.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule2 <- FAIL)]]
("Anne" "is" "red" "+")
Anne is not big.
Unknown
inv-rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Anne" "is" "big" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is green.[(triple1)] Bob is smart.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4 OR ((((triple5) -> rule3)) -> rule1) OR ((((triple5) -> rule5)) -> rule1) OR ((((((((triple6) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple6) -> rule7)) -> rule8)) -> rule5)) -> rule1))] Dave is red.[(triple5 OR ((((triple6) -> rule7)) -> rule8) OR ((((((triple4 triple3) -> rule2)) -> rule7)) -> rule8))] Dave is smart.[(triple6 OR ((triple4 triple3) -> rule2) OR ((((((triple5) -> rule3)) -> rule1) triple3) -> rule2) OR ((((((triple5) -> rule5)) -> rule1) triple3) -> rule2))] Harry is big.[(triple7 OR ((triple9 triple10) -> rule4) OR ((((triple11 triple9) -> rule2)) -> rule7) OR ((triple9 ((triple12) -> rule3)) -> rule4) OR ((triple9 ((triple12) -> rule5)) -> rule4) OR ((((((triple10) -> rule1) triple9) -> rule2)) -> rule7) OR ((((((((triple12) -> rule3)) -> rule1) triple9) -> rule2)) -> rule7) OR ((((((((triple12) -> rule5)) -> rule1) triple9) -> rule2)) -> rule7))] Harry is blue.[(triple8 OR ((triple11) -> rule6) OR ((((triple10) -> rule1)) -> rule6) OR ((((((triple12) -> rule3)) -> rule1)) -> rule6) OR ((((((triple12) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule5)) -> rule1)) -> rule6))] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple12) -> rule3) OR ((triple12) -> rule5) OR ((((triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule8)) -> rule5) OR ((((((((triple11 triple9) -> rule2)) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple11 triple9) -> rule2)) -> rule7)) -> rule8)) -> rule5))] Harry is nice.[(triple11 OR ((triple10) -> rule1) OR ((((triple12) -> rule3)) -> rule1) OR ((((triple12) -> rule5)) -> rule1) OR ((((((triple7) -> rule8)) -> rule3)) -> rule1) OR ((((((triple7) -> rule8)) -> rule5)) -> rule1))] Harry is red.[(triple12 OR ((triple7) -> rule8) OR ((((triple9 triple10) -> rule4)) -> rule8) OR ((((((triple11 triple9) -> rule2)) -> rule7)) -> rule8) OR ((((((((triple10) -> rule1) triple9) -> rule2)) -> rule7)) -> rule8))] @1: Anne is nice.[(((triple1) -> rule1))] Bob is big.[(((triple2) -> rule7))] Dave is big.[(((triple6) -> rule7) OR ((((triple4 triple3) -> rule2)) -> rule7) OR ((triple3 ((triple5) -> rule3)) -> rule4) OR ((triple3 ((triple5) -> rule5)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule1) triple3) -> rule2)) -> rule7) OR ((((((((triple5) -> rule5)) -> rule1) triple3) -> rule2)) -> rule7))] Dave is blue.[(((triple4) -> rule6) OR ((((((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((((triple5) -> rule5)) -> rule1)) -> rule6) OR ((((((((((triple6) -> rule7)) -> rule8)) -> rule3)) -> rule1)) -> rule6) OR ((((((((((triple6) -> rule7)) -> rule8)) -> rule5)) -> rule1)) -> rule6))] Dave is green.[(((triple5) -> rule3) OR ((triple5) -> rule5) OR ((((((triple6) -> rule7)) -> rule8)) -> rule3) OR ((((((triple6) -> rule7)) -> rule8)) -> rule5) OR ((((((((triple4 triple3) -> rule2)) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple4 triple3) -> rule2)) -> rule7)) -> rule8)) -> rule5))] Harry is smart.[(((triple11 triple9) -> rule2) OR ((((triple10) -> rule1) triple9) -> rule2) OR ((((((triple12) -> rule3)) -> rule1) triple9) -> rule2) OR ((((((triple12) -> rule5)) -> rule1) triple9) -> rule2) OR ((((((((triple7) -> rule8)) -> rule3)) -> rule1) triple9) -> rule2) OR ((((((((triple7) -> rule8)) -> rule5)) -> rule1) triple9) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule1)) -> rule6))] Bob is red.[(((((triple2) -> rule7)) -> rule8))] @3: Bob is green.[(((((((triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((triple2) -> rule7)) -> rule8)) -> rule5))] @4: Bob is nice.[(((((((((triple2) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule1))] @5: Bob is blue.[(((((((((((triple2) -> rule7)) -> rule8)) -> rule3)) -> rule1)) -> rule6) OR ((((((((((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule1)) -> rule6))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((((((triple6) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple6) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple5
((((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((triple4 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple4 triple3) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
triple7
((triple9 triple10) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple11 triple9) -> (rule2 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple9 ((triple12) -> (rule3 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((triple9 ((triple12) -> (rule5 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple10) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((((triple12) -> (rule3 % int4))) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple12) -> (rule5 % int4))) -> (rule1 % int3)) triple9) -> (rule2 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
triple8
((triple11) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple12) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple7) -> (rule8 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((((triple11 triple9) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((((triple11 triple9) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple11
((triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple12) -> (rule5 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple7) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple12
((triple7) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple9 triple10) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple11 triple9) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((((triple10) -> (rule1 % int4)) triple9) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple6) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple4 triple3) -> (rule2 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((triple3 ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple3 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((((((triple5) -> (rule3 % int4))) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
((triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((((((triple6) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple6) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
((triple5) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple5) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((((triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((((triple4 triple3) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple4 triple3) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((triple11 triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple10) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple12) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((((((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5