Charlie is nice. Dave is nice. Fiona is furry. If Fiona is not young then Fiona is not rough. If Dave is young and Dave is furry then Dave is big. If Charlie is young then Charlie is not round. All round people are furry. If someone is nice and blue then they are big. All round, young people are not nice. All blue, furry people are not nice. If someone is big and not rough then they are nice.
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If Fiona is not young then Fiona is not rough.
((("Fiona" "is" "young" "~")) -> ("Fiona" "is" "rough" "-"))
If Dave is young and Dave is furry then Dave is big.
((("Dave" "is" "young" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "big" "+"))
If Charlie is young then Charlie is not round.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "round" "-"))
All round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
All round, young people are not nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "-"))
All blue, furry people are not nice.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
If someone is big and not rough then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "nice" "+"))
Fiona is furry.
True
1
proof
[(triple3)]
("Fiona" "is" "furry" "+")
triple3
Dave is not nice.
False
1
inv-proof
[(triple2)]
("Dave" "is" "nice" "-")
triple2
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Charlie is nice.[(triple1)] Dave is nice.[(triple2)] Fiona is furry.[(triple3)]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3