Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Dave is rough. Erin is kind. Erin is nice. Gary is furry. All furry things are cold. Cold, rough things are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
All furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Cold, rough things are nice.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Dave is rough.
True
1
proof
[(triple7)]
("Dave" "is" "rough" "+")
triple7
Erin is not nice.
False
1
inv-proof
[(triple9)]
("Erin" "is" "nice" "-")
triple9
Gary is cold.
True
2
proof
[(((triple10) -> rule1))]
("Gary" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "cold" "-")
((triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple3) -> rule1))] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is kind.[(triple5)] Anne is nice.[(triple6)] Dave is rough.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Gary is furry.[(triple10)] @1: Gary is cold.[(((triple10) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is kind.
("Anne" "is" "kind" "+")
triple5
Anne is nice.
("Anne" "is" "nice" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1