Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is white. Charlie is furry. Charlie is quiet. Erin is kind. Erin is white. Fiona is kind. Fiona is white. Furry things are white. All kind things are red. If something is green and kind then it is red. Blue, kind things are green. All red things are blue. Green, red things are furry.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is green and kind then it is red.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Blue, kind things are green.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Green, red things are furry.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Erin is kind.
True
1
proof
[(triple9)]
("Erin" "is" "kind" "+")
triple9
Bob is not blue.
False
1
inv-proof
[(triple1 OR ((triple5) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((((triple2 triple3) -> rule3)) -> rule5))]
("Bob" "is" "blue" "-")
triple1
((triple5) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Erin is red.
True
2
proof
[(((triple9) -> rule2))]
("Erin" "is" "red" "+")
((triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple7) -> rule1))]
("Charlie" "is" "white" "-")
((triple7) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is blue.
True
3
proof
[(((((triple11) -> rule2)) -> rule5))]
("Fiona" "is" "blue" "+")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not blue.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule5))]
("Fiona" "is" "blue" "-")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
True
5
proof
[(((((((triple11) -> rule2)) -> rule5) triple11) -> rule4))]
("Fiona" "is" "green" "+")
((((((triple11) -> (rule2 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Erin is not green.
False
5
inv-proof
[(((((((triple9) -> rule2)) -> rule5) triple9) -> rule4))]
("Erin" "is" "green" "-")
((((((triple9) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is blue.[(triple1 OR ((triple5) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((((triple2 triple3) -> rule3)) -> rule5))] Bob is green.[(triple2 OR ((triple1 triple3) -> rule4) OR ((((triple5) -> rule5) triple3) -> rule4) OR ((((((triple3) -> rule2)) -> rule5) triple3) -> rule4))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple3) -> rule2) OR ((triple2 triple3) -> rule3) OR ((((triple1 triple3) -> rule4) triple3) -> rule3))] Bob is white.[(triple6 OR ((((triple2 triple5) -> rule6)) -> rule1) OR ((((triple2 ((triple3) -> rule2)) -> rule6)) -> rule1) OR ((((triple2 ((triple2 triple3) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1 triple3) -> rule4) triple5) -> rule6)) -> rule1) OR ((((((triple1 triple3) -> rule4) ((triple3) -> rule2)) -> rule6)) -> rule1) OR ((((((triple1 triple3) -> rule4) ((triple2 triple3) -> rule3)) -> rule6)) -> rule1) OR ((((triple2 ((((triple1 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule5) triple3) -> rule4) triple5) -> rule6)) -> rule1) OR ((((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule5) triple3) -> rule4) ((triple3) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule5) triple3) -> rule4) ((triple2 triple3) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule5) triple3) -> rule4) ((((triple1 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule4) triple5) -> rule6)) -> rule1) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule4) ((triple3) -> rule2)) -> rule6)) -> rule1) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule4) ((triple2 triple3) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple3) -> rule2)) -> rule5) triple3) -> rule4) ((((triple1 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule1))] Charlie is furry.[(triple7)] Charlie is quiet.[(triple8)] Erin is kind.[(triple9)] Erin is white.[(triple10 OR ((((((((((triple9) -> rule2)) -> rule5) triple9) -> rule4) ((triple9) -> rule2)) -> rule6)) -> rule1))] Fiona is kind.[(triple11)] Fiona is white.[(triple12 OR ((((((((((triple11) -> rule2)) -> rule5) triple11) -> rule4) ((triple11) -> rule2)) -> rule6)) -> rule1))] @1: Bob is furry.[(((triple2 triple5) -> rule6) OR ((triple2 ((triple3) -> rule2)) -> rule6) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule4) triple5) -> rule6) OR ((((triple1 triple3) -> rule4) ((triple3) -> rule2)) -> rule6) OR ((((triple1 triple3) -> rule4) ((triple2 triple3) -> rule3)) -> rule6) OR ((triple2 ((((triple1 triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) triple3) -> rule4) triple5) -> rule6) OR ((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) triple3) -> rule4) ((triple3) -> rule2)) -> rule6) OR ((((((triple5) -> rule5) triple3) -> rule4) ((triple2 triple3) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) triple3) -> rule4) ((((triple1 triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule5) triple3) -> rule4) triple5) -> rule6) OR ((((((((triple3) -> rule2)) -> rule5) triple3) -> rule4) ((triple3) -> rule2)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule5) triple3) -> rule4) ((triple2 triple3) -> rule3)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule5) triple3) -> rule4) ((((triple1 triple3) -> rule4) triple3) -> rule3)) -> rule6))] Charlie is white.[(((triple7) -> rule1))] Erin is red.[(((triple9) -> rule2))] Fiona is red.[(((triple11) -> rule2))] @2: Erin is blue.[(((((triple9) -> rule2)) -> rule5))] Fiona is blue.[(((((triple11) -> rule2)) -> rule5))] @3: Erin is green.[(((((((triple9) -> rule2)) -> rule5) triple9) -> rule4))] Fiona is green.[(((((((triple11) -> rule2)) -> rule5) triple11) -> rule4))] @4: Erin is furry.[(((((((((triple9) -> rule2)) -> rule5) triple9) -> rule4) ((triple9) -> rule2)) -> rule6))] Fiona is furry.[(((((((((triple11) -> rule2)) -> rule5) triple11) -> rule4) ((triple11) -> rule2)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple5) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple1 triple3) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple5) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((triple3) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple3) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple2 triple3) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple1 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
triple6
((((triple2 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple2 ((triple2 triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple1 triple3) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple1 triple3) -> (rule4 % int4)) ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple1 triple3) -> (rule4 % int4)) ((triple2 triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple2 ((((triple1 triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple5) -> (rule5 % int4)) triple3) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % 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 triple3) -> (rule4 % int4)) ((((triple1 triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple5) -> (rule5 % int5)) triple3) -> (rule4 % int4)) ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple5) -> (rule5 % int5)) triple3) -> (rule4 % int4)) ((triple2 triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple5) -> (rule5 % int5)) triple3) -> (rule4 % int4)) ((((triple1 triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule5 % int4)) triple3) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % 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
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple3) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule1 % 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
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple2 triple3) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule1 % 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
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule1 % 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
Bob is red.
("Bob" "is" "red" "+")
int5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
((((((((((triple9) -> (rule2 % int5))) -> (rule5 % int4)) triple9) -> (rule4 % int3)) ((triple9) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((((((((((triple11) -> (rule2 % int5))) -> (rule5 % int4)) triple11) -> (rule4 % int3)) ((triple11) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
((triple2 triple5) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple1 triple3) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple1 triple3) -> (rule4 % int3)) ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 triple3) -> (rule4 % int3)) ((triple2 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple2 ((((triple1 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5) -> (rule5 % int3)) triple3) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple5) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple2 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple5) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((((triple1 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple3) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple3) -> (rule4 % int2)) ((triple3) -> (rule2 % int4))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple3) -> (rule4 % int2)) ((triple2 triple3) -> (rule3 % int4))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple3) -> (rule4 % int2)) ((((triple1 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int4))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
((triple7) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple11) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((((triple9) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple11) -> (rule2 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((((((((triple9) -> (rule2 % int4))) -> (rule5 % int3)) triple9) -> (rule4 % int2)) ((triple9) -> (rule2 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((((triple11) -> (rule2 % int4))) -> (rule5 % int3)) triple11) -> (rule4 % int2)) ((triple11) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4