Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Erin is furry. Erin is quiet. Erin is white. Kind, blue people are green. All quiet, kind people are green. Blue, green people are furry. If someone is furry then they are white. All kind, blue people are green. If Erin is furry then Erin is white. All blue people are quiet. If someone is kind and rough then they are blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Kind, blue people are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All quiet, kind people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Blue, green people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry then they are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All kind, blue people are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If Erin is furry then Erin is white.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "white" "+"))
All blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If someone is kind and rough then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Bob is rough.
True
1
proof
[(triple6)]
("Bob" "is" "rough" "+")
triple6
Erin is not furry.
False
1
inv-proof
[(triple14)]
("Erin" "is" "furry" "-")
triple14
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is blue.[(triple1 OR ((triple4 triple6) -> rule8))] Bob is furry.[(triple2 OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple4 triple1) -> rule1)) -> rule3) OR ((triple1 ((triple4 triple1) -> rule5)) -> rule3) OR ((triple1 ((triple5 triple4) -> rule2)) -> rule3) OR ((((triple4 triple6) -> rule8) triple3) -> rule3) OR ((((triple4 triple6) -> rule8) ((triple4 triple1) -> rule1)) -> rule3) OR ((((triple4 triple6) -> rule8) ((triple4 triple1) -> rule5)) -> rule3) OR ((((triple4 triple6) -> rule8) ((triple5 triple4) -> rule2)) -> rule3) OR ((triple1 ((triple4 ((triple4 triple6) -> rule8)) -> rule1)) -> rule3) OR ((triple1 ((triple4 ((triple4 triple6) -> rule8)) -> rule5)) -> rule3) OR ((triple1 ((((triple1) -> rule7) triple4) -> rule2)) -> rule3) OR ((((triple4 triple6) -> rule8) ((triple4 ((triple4 triple6) -> rule8)) -> rule1)) -> rule3) OR ((((triple4 triple6) -> rule8) ((triple4 ((triple4 triple6) -> rule8)) -> rule5)) -> rule3) OR ((((triple4 triple6) -> rule8) ((((triple1) -> rule7) triple4) -> rule2)) -> rule3) OR ((triple1 ((((((triple4 triple6) -> rule8)) -> rule7) triple4) -> rule2)) -> rule3) OR ((((triple4 triple6) -> rule8) ((((((triple4 triple6) -> rule8)) -> rule7) triple4) -> rule2)) -> rule3))] Bob is green.[(triple3 OR ((triple4 triple1) -> rule1) OR ((triple4 triple1) -> rule5) OR ((triple5 triple4) -> rule2) OR ((triple4 ((triple4 triple6) -> rule8)) -> rule1) OR ((triple4 ((triple4 triple6) -> rule8)) -> rule5) OR ((((triple1) -> rule7) triple4) -> rule2) OR ((((((triple4 triple6) -> rule8)) -> rule7) triple4) -> rule2))] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple1) -> rule7) OR ((((triple4 triple6) -> rule8)) -> rule7))] Bob is rough.[(triple6)] Bob is white.[(triple7 OR ((triple2) -> rule4) OR ((((triple1 triple3) -> rule3)) -> rule4) OR ((((triple1 ((triple4 triple1) -> rule1)) -> rule3)) -> rule4) OR ((((triple1 ((triple4 triple1) -> rule5)) -> rule3)) -> rule4) OR ((((triple1 ((triple5 triple4) -> rule2)) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule8) triple3) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule8) ((triple4 triple1) -> rule1)) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule8) ((triple4 triple1) -> rule5)) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule8) ((triple5 triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple1 ((triple4 ((triple4 triple6) -> rule8)) -> rule1)) -> rule3)) -> rule4) OR ((((triple1 ((triple4 ((triple4 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule4) OR ((((triple1 ((((triple1) -> rule7) triple4) -> rule2)) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule8) ((triple4 ((triple4 triple6) -> rule8)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule8) ((triple4 ((triple4 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule8) ((((triple1) -> rule7) triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple1 ((((((triple4 triple6) -> rule8)) -> rule7) triple4) -> rule2)) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule8) ((((((triple4 triple6) -> rule8)) -> rule7) triple4) -> rule2)) -> rule3)) -> rule4))] Charlie is blue.[(triple8 OR ((triple10 triple12) -> rule8))] Charlie is green.[(triple9 OR ((triple10 triple8) -> rule1) OR ((triple10 triple8) -> rule5) OR ((triple11 triple10) -> rule2) OR ((triple10 ((triple10 triple12) -> rule8)) -> rule1) OR ((triple10 ((triple10 triple12) -> rule8)) -> rule5) OR ((((triple8) -> rule7) triple10) -> rule2) OR ((((((triple10 triple12) -> rule8)) -> rule7) triple10) -> rule2))] Charlie is kind.[(triple10)] Charlie is quiet.[(triple11 OR ((triple8) -> rule7) OR ((((triple10 triple12) -> rule8)) -> rule7))] Charlie is rough.[(triple12)] Charlie is white.[(triple13 OR ((((triple8 triple9) -> rule3)) -> rule4) OR ((((triple8 ((triple10 triple8) -> rule1)) -> rule3)) -> rule4) OR ((((triple8 ((triple10 triple8) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 ((triple11 triple10) -> rule2)) -> rule3)) -> rule4) OR ((((((triple10 triple12) -> rule8) triple9) -> rule3)) -> rule4) OR ((((((triple10 triple12) -> rule8) ((triple10 triple8) -> rule1)) -> rule3)) -> rule4) OR ((((((triple10 triple12) -> rule8) ((triple10 triple8) -> rule5)) -> rule3)) -> rule4) OR ((((((triple10 triple12) -> rule8) ((triple11 triple10) -> rule2)) -> rule3)) -> rule4) OR ((((triple8 ((triple10 ((triple10 triple12) -> rule8)) -> rule1)) -> rule3)) -> rule4) OR ((((triple8 ((triple10 ((triple10 triple12) -> rule8)) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 ((((triple8) -> rule7) triple10) -> rule2)) -> rule3)) -> rule4) OR ((((((triple10 triple12) -> rule8) ((triple10 ((triple10 triple12) -> rule8)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple10 triple12) -> rule8) ((triple10 ((triple10 triple12) -> rule8)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple10 triple12) -> rule8) ((((triple8) -> rule7) triple10) -> rule2)) -> rule3)) -> rule4) OR ((((triple8 ((((((triple10 triple12) -> rule8)) -> rule7) triple10) -> rule2)) -> rule3)) -> rule4) OR ((((((triple10 triple12) -> rule8) ((((((triple10 triple12) -> rule8)) -> rule7) triple10) -> rule2)) -> rule3)) -> rule4))] Erin is furry.[(triple14)] Erin is quiet.[(triple15)] Erin is white.[(triple16 OR ((triple14) -> rule4) OR ((triple14) -> rule6))] @1: Charlie is furry.[(((triple8 triple9) -> rule3) OR ((triple8 ((triple10 triple8) -> rule1)) -> rule3) OR ((triple8 ((triple10 triple8) -> rule5)) -> rule3) OR ((triple8 ((triple11 triple10) -> rule2)) -> rule3) OR ((((triple10 triple12) -> rule8) triple9) -> rule3) OR ((((triple10 triple12) -> rule8) ((triple10 triple8) -> rule1)) -> rule3) OR ((((triple10 triple12) -> rule8) ((triple10 triple8) -> rule5)) -> rule3) OR ((((triple10 triple12) -> rule8) ((triple11 triple10) -> rule2)) -> rule3) OR ((triple8 ((triple10 ((triple10 triple12) -> rule8)) -> rule1)) -> rule3) OR ((triple8 ((triple10 ((triple10 triple12) -> rule8)) -> rule5)) -> rule3) OR ((triple8 ((((triple8) -> rule7) triple10) -> rule2)) -> rule3) OR ((((triple10 triple12) -> rule8) ((triple10 ((triple10 triple12) -> rule8)) -> rule1)) -> rule3) OR ((((triple10 triple12) -> rule8) ((triple10 ((triple10 triple12) -> rule8)) -> rule5)) -> rule3) OR ((((triple10 triple12) -> rule8) ((((triple8) -> rule7) triple10) -> rule2)) -> rule3) OR ((triple8 ((((((triple10 triple12) -> rule8)) -> rule7) triple10) -> rule2)) -> rule3) OR ((((triple10 triple12) -> rule8) ((((((triple10 triple12) -> rule8)) -> rule7) triple10) -> rule2)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple4 triple6) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple1 triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple1 ((triple4 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple1 ((triple4 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple1 ((triple5 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple4 triple6) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple4 triple6) -> (rule8 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4 triple6) -> (rule8 % int3)) ((triple4 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4 triple6) -> (rule8 % int3)) ((triple5 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple1 ((triple4 ((triple4 triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple1 ((triple4 ((triple4 triple6) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple1 ((((triple1) -> (rule7 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple4 triple6) -> (rule8 % int3)) ((triple4 ((triple4 triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4 triple6) -> (rule8 % int3)) ((triple4 ((triple4 triple6) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4 triple6) -> (rule8 % int4)) ((((triple1) -> (rule7 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple1 ((((((triple4 triple6) -> (rule8 % int4))) -> (rule7 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4 triple6) -> (rule8 % int4)) ((((((triple4 triple6) -> (rule8 % int4))) -> (rule7 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple4 triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple4 triple1) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple5 triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple4 ((triple4 triple6) -> (rule8 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((triple4 ((triple4 triple6) -> (rule8 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple1) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple4 triple6) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
((triple1) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple4 triple6) -> (rule8 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
((triple2) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple1 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple1 ((triple4 triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple4 triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple5 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple6) -> (rule8 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple4 triple6) -> (rule8 % int4)) ((triple4 triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple4 triple6) -> (rule8 % int4)) ((triple4 triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple4 triple6) -> (rule8 % int4)) ((triple5 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple1 ((triple4 ((triple4 triple6) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple1 ((triple4 ((triple4 triple6) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple1 ((((triple1) -> (rule7 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple4 triple6) -> (rule8 % int4)) ((triple4 ((triple4 triple6) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple4 triple6) -> (rule8 % int4)) ((triple4 ((triple4 triple6) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple4 triple6) -> (rule8 % int5)) ((((triple1) -> (rule7 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple1 ((((((triple4 triple6) -> (rule8 % int5))) -> (rule7 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple4 triple6) -> (rule8 % int5)) ((((((triple4 triple6) -> (rule8 % int5))) -> (rule7 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
((triple10 triple12) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple9
((triple10 triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple10 triple8) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple11 triple10) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple10 ((triple10 triple12) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple10 ((triple10 triple12) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple8) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((triple10 triple12) -> (rule8 % int3))) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple11
((triple8) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple10 triple12) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple12
Charlie is white.
("Charlie" "is" "white" "+")
triple13
((((triple8 triple9) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple8 ((triple10 triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple8 ((triple11 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple10 triple12) -> (rule8 % int3)) triple9) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple10 triple12) -> (rule8 % int4)) ((triple10 triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple10 triple12) -> (rule8 % int4)) ((triple10 triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple10 triple12) -> (rule8 % int4)) ((triple11 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple8 ((triple10 ((triple10 triple12) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple8 ((triple10 ((triple10 triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple8 ((((triple8) -> (rule7 % int4)) triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple10 triple12) -> (rule8 % int4)) ((triple10 ((triple10 triple12) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple10 triple12) -> (rule8 % int4)) ((triple10 ((triple10 triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple10 triple12) -> (rule8 % int5)) ((((triple8) -> (rule7 % int4)) triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((triple8 ((((((triple10 triple12) -> (rule8 % int5))) -> (rule7 % int4)) triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple10 triple12) -> (rule8 % int5)) ((((((triple10 triple12) -> (rule8 % int5))) -> (rule7 % int4)) triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
triple14
Erin is quiet.
("Erin" "is" "quiet" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
((triple14) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple14) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple8 triple9) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple8 ((triple10 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple8 ((triple10 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple8 ((triple11 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple10 triple12) -> (rule8 % int2)) triple9) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple10 triple12) -> (rule8 % int3)) ((triple10 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple10 triple12) -> (rule8 % int3)) ((triple10 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple10 triple12) -> (rule8 % int3)) ((triple11 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple8 ((triple10 ((triple10 triple12) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple8 ((triple10 ((triple10 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple8 ((((triple8) -> (rule7 % int3)) triple10) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple10 triple12) -> (rule8 % int3)) ((triple10 ((triple10 triple12) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple10 triple12) -> (rule8 % int3)) ((triple10 ((triple10 triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple10 triple12) -> (rule8 % int4)) ((((triple8) -> (rule7 % int3)) triple10) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((triple8 ((((((triple10 triple12) -> (rule8 % int4))) -> (rule7 % int3)) triple10) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple10 triple12) -> (rule8 % int4)) ((((((triple10 triple12) -> (rule8 % int4))) -> (rule7 % int3)) triple10) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4