Bob is blue. Bob is furry. Charlie is blue. Charlie is furry. Charlie is rough. Charlie is smart. Charlie is young. Erin is rough. Erin is white. Gary is furry. Gary is rough. Gary is young. All blue, young people are rough. If someone is young and rough then they are furry. If someone is smart then they are white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue, young people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If someone is smart then they are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Gary is not rough.
False
1
inv-proof
[(triple11)]
("Gary" "is" "rough" "-")
triple11
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple3 triple7) -> rule1)) -> rule2))] Charlie is rough.[(triple5 OR ((triple3 triple7) -> rule1))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Gary is furry.[(triple10 OR ((triple12 triple11) -> rule2))] Gary is rough.[(triple11)] Gary is young.[(triple12)] @1: Charlie is white.[(((triple6) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
((triple7 triple5) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple7 ((triple3 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple3 triple7) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
((triple12 triple11) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Charlie is white.
("Charlie" "is" "white" "+")
((triple6) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1