Bob is green. Bob is red. Bob is white. Charlie is young. Dave is red. Dave is white. Fiona is green. All young, white things are blue. If something is rough and green then it is blue. If something is red and green then it is young. If something is rough then it is young. Green things are red. All blue, red things are not rough. If something is green and rough then it is smart. If something is young then it is white.
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
All young, white things are blue.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is rough and green then it is blue.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is red and green then it is young.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is rough then it is young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
All blue, red things are not rough.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "-"))
If something is green and rough then it is smart.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If something is young then it is white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Bob is red.
True
1
proof
[(triple2 OR ((triple1) -> rule5))]
("Bob" "is" "red" "+")
triple2
((triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not white.
False
1
inv-proof
[(triple3 OR ((((triple2 triple1) -> rule3)) -> rule8) OR ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8))]
("Bob" "is" "white" "-")
triple3
((((triple2 triple1) -> (rule3 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is white.
True
2
proof
[(((triple4) -> rule8))]
("Charlie" "is" "white" "+")
((triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple4) -> rule8))]
("Charlie" "is" "white" "-")
((triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Bob is blue.
True
5
proof
[(((((triple2 triple1) -> rule3) triple3) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) triple3) -> rule1) OR ((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) OR ((((triple2 triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1))]
("Bob" "is" "blue" "+")
((((triple2 triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple2 triple1) -> (rule3 % int3)) ((((triple2 triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) ((((triple2 triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple2 triple1) -> (rule3 % int4)) ((((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) ((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not blue.
False
5
inv-proof
[(((((triple2 triple1) -> rule3) triple3) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) triple3) -> rule1) OR ((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) OR ((((triple2 triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1))]
("Bob" "is" "blue" "-")
((((triple2 triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple2 triple1) -> (rule3 % int3)) ((((triple2 triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) ((((triple2 triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple2 triple1) -> (rule3 % int4)) ((((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) ((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not rough.
True
7
proof
[(((((((triple2 triple1) -> rule3) triple3) -> rule1) triple2) -> rule6) OR ((((((triple2 triple1) -> rule3) triple3) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) triple3) -> rule1) triple2) -> rule6) OR ((((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) triple2) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) triple3) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) triple2) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) triple2) -> rule6) OR ((((((triple2 triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) triple2) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) ((triple1) -> rule5)) -> rule6))]
("Bob" "is" "rough" "-")
((((((triple2 triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2 triple1) -> (rule3 % int4)) triple3) -> (rule1 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule3 % int4)) ((((triple2 triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule3 % int5)) ((((triple2 triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4)) ((((triple2 triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4)) ((((triple2 triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int5))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple2 triple1) -> (rule3 % int5)) ((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple2 triple1) -> (rule3 % int5)) ((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4)) ((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4)) ((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int5))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Fiona is not white.
False
5
inv-proof
[(((((((triple7) -> rule5) triple7) -> rule3)) -> rule8))]
("Fiona" "is" "white" "-")
((((((triple7) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
True
10
proof
[(((((((triple7) -> rule5) triple7) -> rule3) ((((((triple7) -> rule5) triple7) -> rule3)) -> rule8)) -> rule1))]
("Fiona" "is" "blue" "+")
((((((triple7) -> (rule5 % int4)) triple7) -> (rule3 % int3)) ((((((triple7) -> (rule5 % int4)) triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not blue.
False
10
inv-proof
[(((((((triple7) -> rule5) triple7) -> rule3) ((((((triple7) -> rule5) triple7) -> rule3)) -> rule8)) -> rule1))]
("Fiona" "is" "blue" "-")
((((((triple7) -> (rule5 % int4)) triple7) -> (rule3 % int3)) ((((((triple7) -> (rule5 % int4)) triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not rough.
True
13
proof
[(((((((((triple7) -> rule5) triple7) -> rule3) ((((((triple7) -> rule5) triple7) -> rule3)) -> rule8)) -> rule1) ((triple7) -> rule5)) -> rule6))]
("Fiona" "is" "rough" "-")
((((((((triple7) -> (rule5 % int5)) triple7) -> (rule3 % int4)) ((((((triple7) -> (rule5 % int5)) triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple7) -> (rule5 % int5))) -> (rule6 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is rough.
False
13
inv-proof
[(((((((((triple7) -> rule5) triple7) -> rule3) ((((((triple7) -> rule5) triple7) -> rule3)) -> rule8)) -> rule1) ((triple7) -> rule5)) -> rule6))]
("Fiona" "is" "rough" "+")
((((((((triple7) -> (rule5 % int5)) triple7) -> (rule3 % int4)) ((((((triple7) -> (rule5 % int5)) triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple7) -> (rule5 % int5))) -> (rule6 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is blue.
Unknown
rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Charlie is smart.
Unknown
rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "smart" "+")
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "smart" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "smart" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is green.[(triple1)] Bob is red.[(triple2 OR ((triple1) -> rule5))] Bob is white.[(triple3 OR ((((triple2 triple1) -> rule3)) -> rule8) OR ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8))] Charlie is young.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6)] Fiona is green.[(triple7)] @1: Bob is young.[(((triple2 triple1) -> rule3) OR ((((triple1) -> rule5) triple1) -> rule3))] Charlie is white.[(((triple4) -> rule8))] Fiona is red.[(((triple7) -> rule5))] @2: Bob is blue.[(((((triple2 triple1) -> rule3) triple3) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) triple3) -> rule1) OR ((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) OR ((((triple2 triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1))] Charlie is blue.[(((triple4 ((triple4) -> rule8)) -> rule1))] Fiona is young.[(((((triple7) -> rule5) triple7) -> rule3))] @3: Bob is not rough.[(((((((triple2 triple1) -> rule3) triple3) -> rule1) triple2) -> rule6) OR ((((((triple2 triple1) -> rule3) triple3) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) triple3) -> rule1) triple2) -> rule6) OR ((((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) triple2) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) triple3) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) triple2) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule8)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) triple2) -> rule6) OR ((((((triple2 triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) triple2) -> rule6) OR ((((((((triple1) -> rule5) triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3)) -> rule8)) -> rule1) ((triple1) -> rule5)) -> rule6))] Fiona is white.[(((((((triple7) -> rule5) triple7) -> rule3)) -> rule8))] @4: Fiona is blue.[(((((((triple7) -> rule5) triple7) -> rule3) ((((((triple7) -> rule5) triple7) -> rule3)) -> rule8)) -> rule1))] @5: Fiona is not rough.[(((((((((triple7) -> rule5) triple7) -> rule3) ((((((triple7) -> rule5) triple7) -> rule3)) -> rule8)) -> rule1) ((triple7) -> rule5)) -> rule6))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
((triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple3
((((triple2 triple1) -> (rule3 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple2 triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple2 triple1) -> (rule3 % int3)) ((((triple2 triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) ((((triple2 triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple2 triple1) -> (rule3 % int4)) ((((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) ((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 ((triple4) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple7) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Bob is not rough.
("Bob" "is" "rough" "-")
((((((triple2 triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2 triple1) -> (rule3 % int4)) triple3) -> (rule1 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule3 % int4)) ((((triple2 triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule3 % int5)) ((((triple2 triple1) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4)) ((((triple2 triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4)) ((((triple2 triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int5))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple2 triple1) -> (rule3 % int5)) ((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple2 triple1) -> (rule3 % int5)) ((((((triple1) -> (rule5 % int4)) triple1) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4)) ((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4)) ((((((triple1) -> (rule5 % int5)) triple1) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1) -> (rule5 % int5))) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple7) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple7) -> (rule5 % int4)) triple7) -> (rule3 % int3)) ((((((triple7) -> (rule5 % int4)) triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not rough.
("Fiona" "is" "rough" "-")
((((((((triple7) -> (rule5 % int5)) triple7) -> (rule3 % int4)) ((((((triple7) -> (rule5 % int5)) triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) ((triple7) -> (rule5 % int5))) -> (rule6 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5