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