Dave is cold. Dave is rough. Dave is smart. Fiona is cold. Fiona is kind. Fiona is rough. Gary is quiet. If someone is red then they are quiet.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is red then they are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Dave is smart.
True
1
proof
[(triple3)]
("Dave" "is" "smart" "+")
triple3
Dave is not smart.
False
1
inv-proof
[(triple3)]
("Dave" "is" "smart" "-")
triple3
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "quiet" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2)] Dave is smart.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is rough.[(triple6)] Gary is quiet.[(triple7)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7