Dave is cold. Erin is big. Erin is quiet. Cold, red people are quiet. Big people are white. If someone is furry then they are cold. If Dave is quiet then Dave is big. If someone is white and red then they are quiet. Furry people are big.
Dave is cold.
("Dave" "is" "cold" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Cold, red people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Dave is quiet then Dave is big.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "big" "+"))
If someone is white and red then they are quiet.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Dave is cold.
True
1
proof
[(triple1)]
("Dave" "is" "cold" "+")
triple1
Erin is not quiet.
False
1
inv-proof
[(triple3)]
("Erin" "is" "quiet" "-")
triple3
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "quiet" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Dave is cold.[(triple1)] Erin is big.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is white.[(((triple2) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1