Anne is cold. Dave is blue. Erin is cold. Blue, furry people are big. All kind, big people are young. If Anne is blue and Anne is quiet then Anne is cold. Young people are quiet. If someone is furry then they are quiet. Cold, big people are kind.
Anne is cold.
("Anne" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Blue, furry people are big.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
All kind, big people are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If Anne is blue and Anne is quiet then Anne is cold.
((("Anne" "is" "blue" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "cold" "+"))
Young people are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry then they are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Cold, big people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Dave is blue.
True
1
proof
[(triple2)]
("Dave" "is" "blue" "+")
triple2
Erin is not cold.
False
1
inv-proof
[(triple3)]
("Erin" "is" "cold" "-")
triple3
Erin is not quiet.
Unknown
inv-rconc
[@3: Erin is quiet.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule1 <- FAIL)]]
("Erin" "is" "quiet" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Dave is blue.[(triple2)] Erin is cold.[(triple3)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3