Dave is big. Dave is kind. Dave is rough. Fiona is not big. Fiona is not furry. Fiona is not nice. Fiona is not rough. Round people are red. If someone is nice then they are furry. If someone is round then they are furry. If someone is rough and red then they are not nice. Rough people are kind. If Fiona is nice and Fiona is rough then Fiona is kind.
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If someone is round then they are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough and red then they are not nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "-"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is nice and Fiona is rough then Fiona is kind.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "kind" "+"))
Dave is big.
True
1
proof
[(triple1)]
("Dave" "is" "big" "+")
triple1
Fiona is furry.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "furry" "+")
triple5
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is big.[(triple1)] Dave is kind.[(triple2 OR ((triple3) -> rule5))] Dave is rough.[(triple3)] Fiona is not big.[(triple4)] Fiona is not furry.[(triple5)] Fiona is not nice.[(triple6)] Fiona is not rough.[(triple7)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((triple3) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Fiona is not big.
("Fiona" "is" "big" "-")
triple4
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple5
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple6
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple7