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