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