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