Bob is red. Bob is rough. Charlie is big. Charlie is blue. Charlie is furry. Dave is big. Fiona is red. All big people are green. All white people are rough. White people are blue. All rough, red people are furry. All red people are rough. Big people are blue.
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is big.
("Dave" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All white people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
White people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
All rough, red people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Bob is rough.
True
1
proof
[(triple2 OR ((triple1) -> rule5))]
("Bob" "is" "rough" "+")
triple2
((triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule5))]
("Bob" "is" "rough" "-")
triple2
((triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is red.[(triple1)] Bob is rough.[(triple2 OR ((triple1) -> rule5))] Charlie is big.[(triple3)] Charlie is blue.[(triple4 OR ((triple3) -> rule6))] Charlie is furry.[(triple5)] Dave is big.[(triple6)] Fiona is red.[(triple7)] @1: Bob is furry.[(((triple2 triple1) -> rule4) OR ((((triple1) -> rule5) triple1) -> rule4))] Charlie is green.[(((triple3) -> rule1))] Dave is blue.[(((triple6) -> rule6))] Dave is green.[(((triple6) -> rule1))] Fiona is rough.[(((triple7) -> rule5))] @2: Fiona is furry.[(((((triple7) -> rule5) triple7) -> rule4))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
((triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
((triple3) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
((triple2 triple1) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple1) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple3) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple6) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple7) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2