Bob is green. Bob is rough. Bob is round. Bob is young. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is young. Gary is blue. Gary is green. Gary is quiet. Gary is rough. Gary is round. Gary is young. All white, green people are round. If someone is green then they are rough.
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
All white, green people are round.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Gary is green.
True
1
proof
[(triple12)]
("Gary" "is" "green" "+")
triple12
Gary is not round.
False
1
inv-proof
[(triple15)]
("Gary" "is" "round" "-")
triple15
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is green.[(triple1)] Bob is rough.[(triple2 OR ((triple1) -> rule2))] Bob is round.[(triple3)] Bob is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8 OR ((triple6) -> rule2))] Charlie is round.[(triple9)] Charlie is young.[(triple10)] Gary is blue.[(triple11)] Gary is green.[(triple12)] Gary is quiet.[(triple13)] Gary is rough.[(triple14 OR ((triple12) -> rule2))] Gary is round.[(triple15)] Gary is young.[(triple16)]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
((triple6) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
((triple12) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16