Bob is big. Charlie is big. Charlie is not quiet. Dave is big. Harry is big. Harry is blue. Harry is cold. If something is blue then it is cold. If something is big then it is white. White things are blue. If Bob is white then Bob is smart. Cold, blue things are smart. If Charlie is cold and Charlie is blue then Charlie is big. If something is white and not cold then it is furry. If something is smart then it is not quiet. If something is big and furry then it is quiet.
Bob is big.
("Bob" "is" "big" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Dave is big.
("Dave" "is" "big" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is big then it is white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
White things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If Bob is white then Bob is smart.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "smart" "+"))
Cold, blue things are smart.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If Charlie is cold and Charlie is blue then Charlie is big.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "big" "+"))
If something is white and not cold then it is furry.
((("something" "is" "white" "+") ("something" "is" "cold" "~")) -> ("something" "is" "furry" "+"))
If something is smart then it is not quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "-"))
If something is big and furry then it is quiet.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Harry is cold.
True
1
proof
[(triple7 OR ((triple6) -> rule1) OR ((((((triple5) -> rule2)) -> rule3)) -> rule1))]
("Harry" "is" "cold" "+")
triple7
((triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Charlie is quiet.
False
1
inv-proof
[(triple3 OR ((((((((((triple2) -> rule2)) -> rule3)) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule8))]
("Charlie" "is" "quiet" "+")
triple3
((((((((((triple2) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple2) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Dave is white.
True
2
proof
[(((triple4) -> rule2))]
("Dave" "is" "white" "+")
((triple4) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not white.
False
2
inv-proof
[(((triple4) -> rule2))]
("Dave" "is" "white" "-")
((triple4) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is not quiet.
True
4
proof
[(((((triple7 triple6) -> rule5)) -> rule8) OR ((((((triple6) -> rule1) triple6) -> rule5)) -> rule8) OR ((((triple7 ((((triple5) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple6) -> rule1) ((((triple5) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((((triple5) -> rule2)) -> rule3)) -> rule1) triple6) -> rule5)) -> rule8) OR ((((((((((triple5) -> rule2)) -> rule3)) -> rule1) ((((triple5) -> rule2)) -> rule3)) -> rule5)) -> rule8))]
("Harry" "is" "quiet" "-")
((((triple7 triple6) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple6) -> (rule1 % int3)) triple6) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple7 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple6) -> (rule1 % int5)) ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) triple6) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Bob is not blue.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("Bob" "is" "blue" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Charlie is cold.
True
4
proof
[(((((((triple2) -> rule2)) -> rule3)) -> rule1))]
("Charlie" "is" "cold" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Bob is not cold.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]
("Bob" "is" "cold" "-")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Charlie is smart.
True
8
proof
[(((((((((triple2) -> rule2)) -> rule3)) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule5))]
("Charlie" "is" "smart" "+")
((((((((triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is not smart.
False
8
inv-proof
[(((((((((triple2) -> rule2)) -> rule3)) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule5))]
("Charlie" "is" "smart" "-")
((((((((triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Dave is not quiet.
True
9
proof
[(((((((((((triple4) -> rule2)) -> rule3)) -> rule1) ((((triple4) -> rule2)) -> rule3)) -> rule5)) -> rule8))]
("Dave" "is" "quiet" "-")
((((((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is quiet.
False
9
inv-proof
[(((((((((((triple4) -> rule2)) -> rule3)) -> rule1) ((((triple4) -> rule2)) -> rule3)) -> rule5)) -> rule8))]
("Dave" "is" "quiet" "+")
((((((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "furry" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "furry" "+")
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "furry" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "furry" "+")
@0: Bob is big.[(triple1)] Charlie is big.[(triple2)] Charlie is not quiet.[(triple3 OR ((((((((((triple2) -> rule2)) -> rule3)) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule8))] Dave is big.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6 OR ((((triple5) -> rule2)) -> rule3))] Harry is cold.[(triple7 OR ((triple6) -> rule1) OR ((((((triple5) -> rule2)) -> rule3)) -> rule1))] @1: Bob is white.[(((triple1) -> rule2))] Charlie is white.[(((triple2) -> rule2))] Dave is white.[(((triple4) -> rule2))] Harry is smart.[(((triple7 triple6) -> rule5) OR ((((triple6) -> rule1) triple6) -> rule5) OR ((triple7 ((((triple5) -> rule2)) -> rule3)) -> rule5) OR ((((triple6) -> rule1) ((((triple5) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple5) -> rule2)) -> rule3)) -> rule1) triple6) -> rule5) OR ((((((((triple5) -> rule2)) -> rule3)) -> rule1) ((((triple5) -> rule2)) -> rule3)) -> rule5))] Harry is white.[(((triple5) -> rule2))] @2: Bob is blue.[(((((triple1) -> rule2)) -> rule3))] Bob is smart.[(((((triple1) -> rule2)) -> rule4) OR ((((((((triple1) -> rule2)) -> rule3)) -> rule1) ((((triple1) -> rule2)) -> rule3)) -> rule5))] Charlie is blue.[(((((triple2) -> rule2)) -> rule3))] Dave is blue.[(((((triple4) -> rule2)) -> rule3))] Harry is not quiet.[(((((triple7 triple6) -> rule5)) -> rule8) OR ((((((triple6) -> rule1) triple6) -> rule5)) -> rule8) OR ((((triple7 ((((triple5) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple6) -> rule1) ((((triple5) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((((triple5) -> rule2)) -> rule3)) -> rule1) triple6) -> rule5)) -> rule8) OR ((((((((((triple5) -> rule2)) -> rule3)) -> rule1) ((((triple5) -> rule2)) -> rule3)) -> rule5)) -> rule8))] @3: Bob is cold.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))] Bob is not quiet.[(((((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((((((((triple1) -> rule2)) -> rule3)) -> rule1) ((((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule8))] Charlie is cold.[(((((((triple2) -> rule2)) -> rule3)) -> rule1))] Dave is cold.[(((((((triple4) -> rule2)) -> rule3)) -> rule1))] @4: Charlie is smart.[(((((((((triple2) -> rule2)) -> rule3)) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule5))] Dave is smart.[(((((((((triple4) -> rule2)) -> rule3)) -> rule1) ((((triple4) -> rule2)) -> rule3)) -> rule5))] @5: Dave is not quiet.[(((((((((((triple4) -> rule2)) -> rule3)) -> rule1) ((((triple4) -> rule2)) -> rule3)) -> rule5)) -> rule8))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple3
((((((((((triple2) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple2) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple7
((triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple2) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple4) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple7 triple6) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((triple7 ((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple6) -> (rule1 % int4)) ((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((triple5) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Harry is not quiet.
("Harry" "is" "quiet" "-")
((((triple7 triple6) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple6) -> (rule1 % int3)) triple6) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple7 ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple6) -> (rule1 % int5)) ((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) triple6) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is not quiet.
("Bob" "is" "quiet" "-")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((((triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((((((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is not quiet.
("Dave" "is" "quiet" "-")
((((((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5