Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is white. Bob is young. Charlie is blue. Charlie is green. Erin is blue. Erin is quiet. Fiona is quiet. Fiona is red. Fiona is young. All young people are red. All white people are kind. White, young people are kind. All green people are red. Red, quiet people are green. If someone is quiet then they are young. All green, kind people are quiet. Blue, green people are white.
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" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All white people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
White, young people are kind.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Red, quiet people are green.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All green, kind people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
Blue, green people are white.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Bob is red.
True
1
proof
[(triple5 OR ((triple2) -> rule4) OR ((triple7) -> rule1) OR ((((triple4) -> rule6)) -> rule1) OR ((((((triple2 triple3) -> rule7)) -> rule6)) -> rule1) OR ((((((triple2 ((triple6) -> rule2)) -> rule7)) -> rule6)) -> rule1) OR ((((((triple2 ((((triple1 triple2) -> rule8)) -> rule2)) -> rule7)) -> rule6)) -> rule1))]
("Bob" "is" "red" "+")
triple5
((triple2) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple7) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple2 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2 ((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2 ((((triple1 triple2) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is not kind.
False
1
inv-proof
[(triple3 OR ((triple6) -> rule2) OR ((triple6 triple7) -> rule3) OR ((((triple1 triple2) -> rule8)) -> rule2) OR ((triple6 ((triple4) -> rule6)) -> rule3) OR ((((triple1 triple2) -> rule8) triple7) -> rule3) OR ((((triple1 triple2) -> rule8) ((triple4) -> rule6)) -> rule3) OR ((((triple1 ((triple5 triple4) -> rule5)) -> rule8)) -> rule2) OR ((((triple1 ((triple5 triple4) -> rule5)) -> rule8) triple7) -> rule3) OR ((((triple1 ((triple5 triple4) -> rule5)) -> rule8) ((triple4) -> rule6)) -> rule3) OR ((((triple1 ((((triple7) -> rule1) triple4) -> rule5)) -> rule8)) -> rule2) OR ((((triple1 ((((triple7) -> rule1) triple4) -> rule5)) -> rule8) triple7) -> rule3) OR ((((triple1 ((((triple7) -> rule1) triple4) -> rule5)) -> rule8) ((triple4) -> rule6)) -> rule3) OR ((((triple1 ((((((triple4) -> rule6)) -> rule1) triple4) -> rule5)) -> rule8)) -> rule2) OR ((((triple1 ((((((triple4) -> rule6)) -> rule1) triple4) -> rule5)) -> rule8) triple7) -> rule3) OR ((((triple1 ((((((triple4) -> rule6)) -> rule1) triple4) -> rule5)) -> rule8) ((triple4) -> rule6)) -> rule3))]
("Bob" "is" "kind" "-")
triple3
((triple6) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple6 triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple1 triple2) -> (rule8 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple6 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple1 triple2) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple1 triple2) -> (rule8 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple1 ((triple5 triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple5 triple4) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple1 ((((triple7) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 ((((triple7) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 ((((triple7) -> (rule1 % int5)) triple4) -> (rule5 % int4))) -> (rule8 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple1 ((((((triple4) -> (rule6 % int5))) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple1 ((((((triple4) -> (rule6 % int5))) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple1 ((((((triple4) -> (rule6 % int5))) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2)) ((triple4) -> (rule6 % int5))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Charlie is red.
True
2
proof
[(((triple9) -> rule4) OR ((((((triple9 ((((triple8 triple9) -> rule8)) -> rule2)) -> rule7)) -> rule6)) -> rule1))]
("Charlie" "is" "red" "+")
((triple9) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((((triple9 ((((triple8 triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is not white.
False
3
inv-proof
[(((triple8 triple9) -> rule8))]
("Charlie" "is" "white" "-")
((triple8 triple9) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is red.
True
3
proof
[(((((triple11) -> rule6)) -> rule1))]
("Erin" "is" "red" "+")
((((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Charlie is not kind.
False
4
inv-proof
[(((((triple8 triple9) -> rule8)) -> rule2))]
("Charlie" "is" "kind" "-")
((((triple8 triple9) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is quiet.
True
6
proof
[(((triple9 ((((triple8 triple9) -> rule8)) -> rule2)) -> rule7))]
("Charlie" "is" "quiet" "+")
((triple9 ((((triple8 triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Erin is not green.
False
5
inv-proof
[(((((((triple11) -> rule6)) -> rule1) triple11) -> rule5))]
("Erin" "is" "green" "-")
((((((triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Charlie is young.
True
7
proof
[(((((triple9 ((((triple8 triple9) -> rule8)) -> rule2)) -> rule7)) -> rule6))]
("Charlie" "is" "young" "+")
((((triple9 ((((triple8 triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is not young.
False
7
inv-proof
[(((((triple9 ((((triple8 triple9) -> rule8)) -> rule2)) -> rule7)) -> rule6))]
("Charlie" "is" "young" "-")
((((triple9 ((((triple8 triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Erin is kind.
True
8
proof
[(((((triple10 ((((((triple11) -> rule6)) -> rule1) triple11) -> rule5)) -> rule8)) -> rule2) OR ((((triple10 ((((((triple11) -> rule6)) -> rule1) triple11) -> rule5)) -> rule8) ((triple11) -> rule6)) -> rule3))]
("Erin" "is" "kind" "+")
((((triple10 ((((((triple11) -> (rule6 % int5))) -> (rule1 % int4)) triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple10 ((((((triple11) -> (rule6 % int5))) -> (rule1 % int4)) triple11) -> (rule5 % int3))) -> (rule8 % int2)) ((triple11) -> (rule6 % int5))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is not kind.
False
8
inv-proof
[(((((triple10 ((((((triple11) -> rule6)) -> rule1) triple11) -> rule5)) -> rule8)) -> rule2) OR ((((triple10 ((((((triple11) -> rule6)) -> rule1) triple11) -> rule5)) -> rule8) ((triple11) -> rule6)) -> rule3))]
("Erin" "is" "kind" "-")
((((triple10 ((((((triple11) -> (rule6 % int5))) -> (rule1 % int4)) triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple10 ((((((triple11) -> (rule6 % int5))) -> (rule1 % int4)) triple11) -> (rule5 % int3))) -> (rule8 % int2)) ((triple11) -> (rule6 % int5))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Fiona is not kind.
Unknown
inv-rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple5 triple4) -> rule5) OR ((((triple7) -> rule1) triple4) -> rule5) OR ((((((triple4) -> rule6)) -> rule1) triple4) -> rule5))] Bob is kind.[(triple3 OR ((triple6) -> rule2) OR ((triple6 triple7) -> rule3) OR ((((triple1 triple2) -> rule8)) -> rule2) OR ((triple6 ((triple4) -> rule6)) -> rule3) OR ((((triple1 triple2) -> rule8) triple7) -> rule3) OR ((((triple1 triple2) -> rule8) ((triple4) -> rule6)) -> rule3) OR ((((triple1 ((triple5 triple4) -> rule5)) -> rule8)) -> rule2) OR ((((triple1 ((triple5 triple4) -> rule5)) -> rule8) triple7) -> rule3) OR ((((triple1 ((triple5 triple4) -> rule5)) -> rule8) ((triple4) -> rule6)) -> rule3) OR ((((triple1 ((((triple7) -> rule1) triple4) -> rule5)) -> rule8)) -> rule2) OR ((((triple1 ((((triple7) -> rule1) triple4) -> rule5)) -> rule8) triple7) -> rule3) OR ((((triple1 ((((triple7) -> rule1) triple4) -> rule5)) -> rule8) ((triple4) -> rule6)) -> rule3) OR ((((triple1 ((((((triple4) -> rule6)) -> rule1) triple4) -> rule5)) -> rule8)) -> rule2) OR ((((triple1 ((((((triple4) -> rule6)) -> rule1) triple4) -> rule5)) -> rule8) triple7) -> rule3) OR ((((triple1 ((((((triple4) -> rule6)) -> rule1) triple4) -> rule5)) -> rule8) ((triple4) -> rule6)) -> rule3))] Bob is quiet.[(triple4 OR ((triple2 triple3) -> rule7) OR ((triple2 ((triple6) -> rule2)) -> rule7) OR ((triple2 ((triple6 triple7) -> rule3)) -> rule7) OR ((triple2 ((((triple1 triple2) -> rule8)) -> rule2)) -> rule7) OR ((triple2 ((((triple1 triple2) -> rule8) triple7) -> rule3)) -> rule7))] Bob is red.[(triple5 OR ((triple2) -> rule4) OR ((triple7) -> rule1) OR ((((triple4) -> rule6)) -> rule1) OR ((((((triple2 triple3) -> rule7)) -> rule6)) -> rule1) OR ((((((triple2 ((triple6) -> rule2)) -> rule7)) -> rule6)) -> rule1) OR ((((((triple2 ((((triple1 triple2) -> rule8)) -> rule2)) -> rule7)) -> rule6)) -> rule1))] Bob is white.[(triple6 OR ((triple1 triple2) -> rule8) OR ((triple1 ((triple5 triple4) -> rule5)) -> rule8) OR ((triple1 ((((triple7) -> rule1) triple4) -> rule5)) -> rule8) OR ((triple1 ((((((triple4) -> rule6)) -> rule1) triple4) -> rule5)) -> rule8))] Bob is young.[(triple7 OR ((triple4) -> rule6) OR ((((triple2 triple3) -> rule7)) -> rule6) OR ((((triple2 ((triple6) -> rule2)) -> rule7)) -> rule6) OR ((((triple2 ((((triple1 triple2) -> rule8)) -> rule2)) -> rule7)) -> rule6))] Charlie is blue.[(triple8)] Charlie is green.[(triple9)] Erin is blue.[(triple10)] Erin is quiet.[(triple11)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13 OR ((triple14) -> rule1) OR ((((triple12) -> rule6)) -> rule1))] Fiona is young.[(triple14 OR ((triple12) -> rule6))] @1: Charlie is red.[(((triple9) -> rule4) OR ((((((triple9 ((((triple8 triple9) -> rule8)) -> rule2)) -> rule7)) -> rule6)) -> rule1))] Charlie is white.[(((triple8 triple9) -> rule8))] Erin is young.[(((triple11) -> rule6))] Fiona is green.[(((triple13 triple12) -> rule5) OR ((((triple14) -> rule1) triple12) -> rule5) OR ((((((triple12) -> rule6)) -> rule1) triple12) -> rule5))] @2: Charlie is kind.[(((((triple8 triple9) -> rule8)) -> rule2))] Erin is red.[(((((triple11) -> rule6)) -> rule1))] @3: Charlie is quiet.[(((triple9 ((((triple8 triple9) -> rule8)) -> rule2)) -> rule7))] Erin is green.[(((((((triple11) -> rule6)) -> rule1) triple11) -> rule5))] @4: Charlie is young.[(((((triple9 ((((triple8 triple9) -> rule8)) -> rule2)) -> rule7)) -> rule6))] Erin is white.[(((triple10 ((((((triple11) -> rule6)) -> rule1) triple11) -> rule5)) -> rule8))] @5: Erin is kind.[(((((triple10 ((((((triple11) -> rule6)) -> rule1) triple11) -> rule5)) -> rule8)) -> rule2) OR ((((triple10 ((((((triple11) -> rule6)) -> rule1) triple11) -> rule5)) -> rule8) ((triple11) -> rule6)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple5 triple4) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple7) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple4) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple6) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple6 triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple1 triple2) -> (rule8 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple6 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple1 triple2) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple1 triple2) -> (rule8 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple1 ((triple5 triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple5 triple4) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple1 ((((triple7) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 ((((triple7) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 ((((triple7) -> (rule1 % int5)) triple4) -> (rule5 % int4))) -> (rule8 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple1 ((((((triple4) -> (rule6 % int5))) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple1 ((((((triple4) -> (rule6 % int5))) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple1 ((((((triple4) -> (rule6 % int5))) -> (rule1 % int4)) triple4) -> (rule5 % int3))) -> (rule8 % int2)) ((triple4) -> (rule6 % int5))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple2 triple3) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple2 ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple2 ((triple6 triple7) -> (rule3 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple2 ((((triple1 triple2) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple2 ((((triple1 triple2) -> (rule8 % int3)) triple7) -> (rule3 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple2) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple7) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple2 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple2 ((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2 ((((triple1 triple2) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple1 triple2) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple1 ((triple5 triple4) -> (rule5 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple1 ((((triple7) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple1 ((((((triple4) -> (rule6 % int4))) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple4) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2 triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple2 ((((triple1 triple2) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Erin is blue.
("Erin" "is" "blue" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
((triple14) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple14
((triple12) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple9) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((((triple9 ((((triple8 triple9) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
((triple8 triple9) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple11) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple13 triple12) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple14) -> (rule1 % int2)) triple12) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple8 triple9) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple9 ((((triple8 triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((((((triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((triple9 ((((triple8 triple9) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
((triple10 ((((((triple11) -> (rule6 % int4))) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((((triple10 ((((((triple11) -> (rule6 % int5))) -> (rule1 % int4)) triple11) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple10 ((((((triple11) -> (rule6 % int5))) -> (rule1 % int4)) triple11) -> (rule5 % int3))) -> (rule8 % int2)) ((triple11) -> (rule6 % int5))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5