Dave is not nice. Erin is nice. Fiona is not big. If someone is white and young then they are not smart. If someone is quiet and furry then they are smart. If someone is big then they are smart. All nice people are white. If someone is quiet and big then they are furry. All big people are quiet.
Dave is not nice.
("Dave" "is" "nice" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
If someone is white and young then they are not smart.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "-"))
If someone is quiet and furry then they are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is big then they are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet and big then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
All big people are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Erin is nice.
True
1
proof
[(triple2)]
("Erin" "is" "nice" "+")
triple2
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is not nice.[(triple1)] Erin is nice.[(triple2)] Fiona is not big.[(triple3)] @1: Erin is white.[(((triple2) -> rule4))]
Dave is not nice.
("Dave" "is" "nice" "-")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Fiona is not big.
("Fiona" "is" "big" "-")
triple3
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1