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