Anne is blue. Anne is green. Anne is rough. Anne is white. Bob is blue. Bob is rough. Bob is young. Charlie is blue. Charlie is white. Charlie is young. Fiona is blue. Fiona is cold. Fiona is smart. Fiona is white. Fiona is young. All white, rough people are blue. White, blue people are green. All blue, young people are green. If Fiona is white then Fiona is green. Smart, green people are rough. If someone is green and white then they are smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All white, rough people are blue.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
White, blue people are green.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All blue, young people are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Fiona is white then Fiona is green.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "green" "+"))
Smart, green people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and white then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Bob is blue.
True
1
proof
[(triple5)]
("Bob" "is" "blue" "+")
triple5
Bob is not rough.
False
1
inv-proof
[(triple6)]
("Bob" "is" "rough" "-")
triple6
Anne is smart.
True
3
proof
[(((triple2 triple4) -> rule6) OR ((((triple4 triple1) -> rule2) triple4) -> rule6) OR ((((triple4 ((triple4 triple3) -> rule1)) -> rule2) triple4) -> rule6))]
("Anne" "is" "smart" "+")
((triple2 triple4) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4 triple1) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple4 ((triple4 triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Fiona is not green.
False
2
inv-proof
[(((triple14) -> rule4) OR ((triple11 triple15) -> rule3) OR ((triple14 triple11) -> rule2))]
("Fiona" "is" "green" "-")
((triple14) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple11 triple15) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple14 triple11) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
True
4
proof
[(((triple13 ((triple14) -> rule4)) -> rule5) OR ((triple13 ((triple11 triple15) -> rule3)) -> rule5) OR ((triple13 ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5))]
("Fiona" "is" "rough" "+")
((triple13 ((triple14) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple13 ((triple11 triple15) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple13 ((triple14 triple11) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple14) -> (rule4 % int3)) triple14) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14) -> (rule4 % int3)) triple14) -> (rule6 % int2)) ((triple11 triple15) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14) -> (rule4 % int3)) triple14) -> (rule6 % int2)) ((triple14 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11 triple15) -> (rule3 % int3)) triple14) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11 triple15) -> (rule3 % int3)) triple14) -> (rule6 % int2)) ((triple11 triple15) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11 triple15) -> (rule3 % int3)) triple14) -> (rule6 % int2)) ((triple14 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14 triple11) -> (rule2 % int3)) triple14) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14 triple11) -> (rule2 % int3)) triple14) -> (rule6 % int2)) ((triple11 triple15) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14 triple11) -> (rule2 % int3)) triple14) -> (rule6 % int2)) ((triple14 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not rough.
False
4
inv-proof
[(((triple13 ((triple14) -> rule4)) -> rule5) OR ((triple13 ((triple11 triple15) -> rule3)) -> rule5) OR ((triple13 ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5))]
("Fiona" "is" "rough" "-")
((triple13 ((triple14) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple13 ((triple11 triple15) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple13 ((triple14 triple11) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple14) -> (rule4 % int3)) triple14) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14) -> (rule4 % int3)) triple14) -> (rule6 % int2)) ((triple11 triple15) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14) -> (rule4 % int3)) triple14) -> (rule6 % int2)) ((triple14 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11 triple15) -> (rule3 % int3)) triple14) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11 triple15) -> (rule3 % int3)) triple14) -> (rule6 % int2)) ((triple11 triple15) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11 triple15) -> (rule3 % int3)) triple14) -> (rule6 % int2)) ((triple14 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14 triple11) -> (rule2 % int3)) triple14) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14 triple11) -> (rule2 % int3)) triple14) -> (rule6 % int2)) ((triple11 triple15) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14 triple11) -> (rule2 % int3)) triple14) -> (rule6 % int2)) ((triple14 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Charlie is rough.
True
9
proof
[(((((((triple8 triple10) -> rule3) triple9) -> rule6) ((triple8 triple10) -> rule3)) -> rule5) OR ((((((triple8 triple10) -> rule3) triple9) -> rule6) ((triple9 triple8) -> rule2)) -> rule5) OR ((((((triple9 triple8) -> rule2) triple9) -> rule6) ((triple8 triple10) -> rule3)) -> rule5) OR ((((((triple9 triple8) -> rule2) triple9) -> rule6) ((triple9 triple8) -> rule2)) -> rule5))]
("Charlie" "is" "rough" "+")
((((((triple8 triple10) -> (rule3 % int3)) triple9) -> (rule6 % int2)) ((triple8 triple10) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple8 triple10) -> (rule3 % int3)) triple9) -> (rule6 % int2)) ((triple9 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple9 triple8) -> (rule2 % int3)) triple9) -> (rule6 % int2)) ((triple8 triple10) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple9 triple8) -> (rule2 % int3)) triple9) -> (rule6 % int2)) ((triple9 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not rough.
False
9
inv-proof
[(((((((triple8 triple10) -> rule3) triple9) -> rule6) ((triple8 triple10) -> rule3)) -> rule5) OR ((((((triple8 triple10) -> rule3) triple9) -> rule6) ((triple9 triple8) -> rule2)) -> rule5) OR ((((((triple9 triple8) -> rule2) triple9) -> rule6) ((triple8 triple10) -> rule3)) -> rule5) OR ((((((triple9 triple8) -> rule2) triple9) -> rule6) ((triple9 triple8) -> rule2)) -> rule5))]
("Charlie" "is" "rough" "-")
((((((triple8 triple10) -> (rule3 % int3)) triple9) -> (rule6 % int2)) ((triple8 triple10) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple8 triple10) -> (rule3 % int3)) triple9) -> (rule6 % int2)) ((triple9 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple9 triple8) -> (rule2 % int3)) triple9) -> (rule6 % int2)) ((triple8 triple10) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple9 triple8) -> (rule2 % int3)) triple9) -> (rule6 % int2)) ((triple9 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "smart" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is blue.[(triple1 OR ((triple4 triple3) -> rule1) OR ((triple4 ((((triple2 triple4) -> rule6) triple2) -> rule5)) -> rule1))] Anne is green.[(triple2 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple4 triple3) -> rule1)) -> rule2))] Anne is rough.[(triple3 OR ((((triple2 triple4) -> rule6) triple2) -> rule5) OR ((((triple2 triple4) -> rule6) ((triple4 triple1) -> rule2)) -> rule5) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) triple2) -> rule5) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) ((triple4 triple1) -> rule2)) -> rule5))] Anne is white.[(triple4)] Bob is blue.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)] Charlie is blue.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Fiona is blue.[(triple11 OR ((triple14 ((triple13 ((triple14) -> rule4)) -> rule5)) -> rule1) OR ((triple14 ((((((triple14) -> rule4) triple14) -> rule6) ((triple14) -> rule4)) -> rule5)) -> rule1))] Fiona is cold.[(triple12)] Fiona is smart.[(triple13 OR ((((triple14) -> rule4) triple14) -> rule6) OR ((((triple11 triple15) -> rule3) triple14) -> rule6) OR ((((triple14 triple11) -> rule2) triple14) -> rule6))] Fiona is white.[(triple14)] Fiona is young.[(triple15)] @1: Anne is smart.[(((triple2 triple4) -> rule6) OR ((((triple4 triple1) -> rule2) triple4) -> rule6) OR ((((triple4 ((triple4 triple3) -> rule1)) -> rule2) triple4) -> rule6))] Bob is green.[(((triple5 triple7) -> rule3))] Charlie is green.[(((triple8 triple10) -> rule3) OR ((triple9 triple8) -> rule2))] Fiona is green.[(((triple14) -> rule4) OR ((triple11 triple15) -> rule3) OR ((triple14 triple11) -> rule2))] @2: Charlie is smart.[(((((triple8 triple10) -> rule3) triple9) -> rule6) OR ((((triple9 triple8) -> rule2) triple9) -> rule6))] Fiona is rough.[(((triple13 ((triple14) -> rule4)) -> rule5) OR ((triple13 ((triple11 triple15) -> rule3)) -> rule5) OR ((triple13 ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5))] @3: Charlie is rough.[(((((((triple8 triple10) -> rule3) triple9) -> rule6) ((triple8 triple10) -> rule3)) -> rule5) OR ((((((triple8 triple10) -> rule3) triple9) -> rule6) ((triple9 triple8) -> rule2)) -> rule5) OR ((((((triple9 triple8) -> rule2) triple9) -> rule6) ((triple8 triple10) -> rule3)) -> rule5) OR ((((((triple9 triple8) -> rule2) triple9) -> rule6) ((triple9 triple8) -> rule2)) -> rule5))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4 triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 ((((triple2 triple4) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple4 triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple4 ((triple4 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple2 triple4) -> (rule6 % int3)) ((triple4 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple4 triple1) -> (rule2 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple4 triple1) -> (rule2 % int3)) triple4) -> (rule6 % int2)) ((triple4 triple1) -> (rule2 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
((triple14 ((triple13 ((triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((triple14 ((((((triple14) -> (rule4 % int4)) triple14) -> (rule6 % int3)) ((triple14) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
((((triple14) -> (rule4 % int2)) triple14) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple11 triple15) -> (rule3 % int2)) triple14) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple14 triple11) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Anne is smart.
("Anne" "is" "smart" "+")
((triple2 triple4) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4 triple1) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple4 ((triple4 triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((triple5 triple7) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple8 triple10) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple9 triple8) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple14) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple11 triple15) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple14 triple11) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple8 triple10) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple9 triple8) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple13 ((triple14) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple13 ((triple11 triple15) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple13 ((triple14 triple11) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple14) -> (rule4 % int3)) triple14) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14) -> (rule4 % int3)) triple14) -> (rule6 % int2)) ((triple11 triple15) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14) -> (rule4 % int3)) triple14) -> (rule6 % int2)) ((triple14 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11 triple15) -> (rule3 % int3)) triple14) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11 triple15) -> (rule3 % int3)) triple14) -> (rule6 % int2)) ((triple11 triple15) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11 triple15) -> (rule3 % int3)) triple14) -> (rule6 % int2)) ((triple14 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14 triple11) -> (rule2 % int3)) triple14) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14 triple11) -> (rule2 % int3)) triple14) -> (rule6 % int2)) ((triple11 triple15) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple14 triple11) -> (rule2 % int3)) triple14) -> (rule6 % int2)) ((triple14 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((triple8 triple10) -> (rule3 % int3)) triple9) -> (rule6 % int2)) ((triple8 triple10) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple8 triple10) -> (rule3 % int3)) triple9) -> (rule6 % int2)) ((triple9 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple9 triple8) -> (rule2 % int3)) triple9) -> (rule6 % int2)) ((triple8 triple10) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple9 triple8) -> (rule2 % int3)) triple9) -> (rule6 % int2)) ((triple9 triple8) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3