Bob is blue. Bob is furry. Bob is green. Bob is rough. Bob is round. Charlie is not white. Dave is rough. Dave is round. Dave is young. Gary is not blue. Gary is furry. Gary is green. Gary is rough. Gary is round. Gary is white. If something is white and not furry then it is not rough. All furry things are rough. If Charlie is blue then Charlie is white. If Charlie is furry then Charlie is blue. If something is blue and not rough then it is young. If something is round then it is young. If something is furry and not rough then it is green. If Bob is rough and Bob is not green then Bob is not young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is white and not furry then it is not rough.
((("something" "is" "white" "+") ("something" "is" "furry" "~")) -> ("something" "is" "rough" "-"))
All furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If Charlie is blue then Charlie is white.
((("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "white" "+"))
If Charlie is furry then Charlie is blue.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "blue" "+"))
If something is blue and not rough then it is young.
((("something" "is" "blue" "+") ("something" "is" "rough" "~")) -> ("something" "is" "young" "+"))
If something is round then it is young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something is furry and not rough then it is green.
((("something" "is" "furry" "+") ("something" "is" "rough" "~")) -> ("something" "is" "green" "+"))
If Bob is rough and Bob is not green then Bob is not young.
((("Bob" "is" "rough" "+") ("Bob" "is" "green" "~")) -> ("Bob" "is" "young" "-"))
Gary is not blue.
True
1
proof
[(triple10)]
("Gary" "is" "blue" "-")
triple10
Gary is not green.
False
1
inv-proof
[(triple12)]
("Gary" "is" "green" "-")
triple12
Gary is young.
True
2
proof
[(((triple14) -> rule6))]
("Gary" "is" "young" "+")
((triple14) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple5) -> rule6))]
("Bob" "is" "young" "-")
((triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4 OR ((triple2) -> rule2))] Bob is round.[(triple5)] Charlie is not white.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Dave is young.[(triple9 OR ((triple8) -> rule6))] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is not blue.[(triple10)] Gary is rough.[(triple13 OR ((triple11) -> rule2))] Gary is round.[(triple14)] Gary is white.[(triple15)] @1: Bob is young.[(((triple5) -> rule6))] Gary is young.[(((triple14) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is not white.
("Charlie" "is" "white" "-")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
((triple8) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is not blue.
("Gary" "is" "blue" "-")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple13
((triple11) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Bob is young.
("Bob" "is" "young" "+")
((triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple14) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1