Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is not young. Dave is cold. Dave is kind. Dave is red. Dave is young. Gary is not big. Gary is cold. Gary is furry. If Gary is not young then Gary is big. Big things are red. Young, rough things are big. If Gary is not red then Gary is kind. If something is big and not kind then it is not furry. If Gary is rough and Gary is not kind then Gary is cold. All kind, furry things are cold. If something is furry and young then it is not cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not young.
("Anne" "is" "young" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If Gary is not young then Gary is big.
((("Gary" "is" "young" "~")) -> ("Gary" "is" "big" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Young, rough things are big.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If Gary is not red then Gary is kind.
((("Gary" "is" "red" "~")) -> ("Gary" "is" "kind" "+"))
If something is big and not kind then it is not furry.
((("something" "is" "big" "+") ("something" "is" "kind" "~")) -> ("something" "is" "furry" "-"))
If Gary is rough and Gary is not kind then Gary is cold.
((("Gary" "is" "rough" "+") ("Gary" "is" "kind" "~")) -> ("Gary" "is" "cold" "+"))
All kind, furry things are cold.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If something is furry and young then it is not cold.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "-"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not kind.
False
1
inv-proof
[(triple3)]
("Anne" "is" "kind" "-")
triple3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is cold.[(triple1 OR ((triple3 triple2) -> rule7))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not young.[(triple5)] Anne is rough.[(triple4)] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Dave is young.[(triple9)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is not big.[(triple10)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3 triple2) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not young.
("Anne" "is" "young" "-")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is not big.
("Gary" "is" "big" "-")
triple10