Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is white. Dave is blue. Dave is furry. Dave is quiet. Dave is white. Fiona is furry. All quiet people are green. If Dave is red and Dave is blue then Dave is rough. Rough, blue people are green. All rough, white people are green. If Fiona is red and Fiona is green then Fiona is furry. All white, red people are furry. Quiet people are red. If someone is furry and rough then they are red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
All quiet people are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If Dave is red and Dave is blue then Dave is rough.
((("Dave" "is" "red" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "rough" "+"))
Rough, blue people are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All rough, white people are green.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Fiona is red and Fiona is green then Fiona is furry.
((("Fiona" "is" "red" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "furry" "+"))
All white, red people are furry.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and rough then they are red.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Bob is red.
True
1
proof
[(triple5 OR ((triple4) -> rule7) OR ((triple2 triple6) -> rule8))]
("Bob" "is" "red" "+")
triple5
((triple4) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple2 triple6) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is not blue.
False
1
inv-proof
[(triple8)]
("Dave" "is" "blue" "-")
triple8
Dave is red.
True
2
proof
[(((triple10) -> rule7))]
("Dave" "is" "red" "+")
((triple10) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple10) -> rule7))]
("Dave" "is" "red" "-")
((triple10) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
True
4
proof
[(((((triple10) -> rule7) triple8) -> rule2))]
("Dave" "is" "rough" "+")
((((triple10) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not rough.
False
4
inv-proof
[(((((triple10) -> rule7) triple8) -> rule2))]
("Dave" "is" "rough" "-")
((((triple10) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple7 triple5) -> rule6) OR ((triple7 ((triple4) -> rule7)) -> rule6))] Bob is green.[(triple3 OR ((triple4) -> rule1) OR ((triple6 triple1) -> rule3) OR ((triple6 triple7) -> rule4))] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple4) -> rule7) OR ((triple2 triple6) -> rule8))] Bob is rough.[(triple6)] Bob is white.[(triple7)] Dave is blue.[(triple8)] Dave is furry.[(triple9 OR ((triple11 ((triple10) -> rule7)) -> rule6))] Dave is quiet.[(triple10)] Dave is white.[(triple11)] Fiona is furry.[(triple12)] @1: Dave is green.[(((triple10) -> rule1) OR ((((((triple10) -> rule7) triple8) -> rule2) triple11) -> rule4) OR ((((((triple10) -> rule7) triple8) -> rule2) triple8) -> rule3))] Dave is red.[(((triple10) -> rule7))] @2: Dave is rough.[(((((triple10) -> rule7) triple8) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple7 triple5) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple7 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple4) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple6 triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple6 triple7) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple4) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple2 triple6) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple9
((triple11 ((triple10) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Dave is green.
("Dave" "is" "green" "+")
((triple10) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2)) triple11) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple10) -> (rule7 % int3)) triple8) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((triple10) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((((triple10) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2