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