Charlie is nice. Charlie is smart. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Fiona is rough. Fiona is smart. Gary is cold. Gary is furry. If something is smart and quiet then it is cold.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If something is smart and quiet then it is cold.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Charlie is smart.
True
1
proof
[(triple2)]
("Charlie" "is" "smart" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "rough" "-")
triple7
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Charlie is nice.[(triple1)] Charlie is smart.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10