Dave is not quiet. Fiona is not cold. Gary is big. If Dave is white then Dave is smart. All cold, big things are not white. Rough, quiet things are white. All quiet things are big. If something is round and quiet then it is rough. If Dave is white then Dave is not cold. All cold things are round. If Fiona is smart then Fiona is big.
Dave is not quiet.
("Dave" "is" "quiet" "-")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Gary is big.
("Gary" "is" "big" "+")
If Dave is white then Dave is smart.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "smart" "+"))
All cold, big things are not white.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "-"))
Rough, quiet things are white.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
All quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If something is round and quiet then it is rough.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If Dave is white then Dave is not cold.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "cold" "-"))
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If Fiona is smart then Fiona is big.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "big" "+"))
Fiona is not cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "-")
triple2
Dave is quiet.
False
1
inv-proof
[(triple1)]
("Dave" "is" "quiet" "+")
triple1
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "round" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Dave is not quiet.[(triple1)] Fiona is not cold.[(triple2)] Gary is big.[(triple3)]
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple1
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3