Anne is nice. Anne is round. Anne is not smart. Erin is not cold. Erin is furry. Erin is kind. Erin is not round. Erin is smart. Gary is cold. Gary is round. If Erin is nice then Erin is furry. Round people are nice. If someone is rough and not nice then they are not cold.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
If Erin is nice then Erin is furry.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "furry" "+"))
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and not nice then they are not cold.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "cold" "-"))
Erin is furry.
True
1
proof
[(triple5)]
("Erin" "is" "furry" "+")
triple5
Anne is not nice.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule2))]
("Anne" "is" "nice" "-")
triple1
((triple2) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Gary is nice.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "nice" "+")
((triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "nice" "-")
((triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is nice.[(triple1 OR ((triple2) -> rule2))] Anne is not smart.[(triple3)] Anne is round.[(triple2)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is not cold.[(triple4)] Erin is not round.[(triple7)] Erin is smart.[(triple8)] Gary is cold.[(triple9)] Gary is round.[(triple10)] @1: Gary is nice.[(((triple10) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
((triple2) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not smart.
("Anne" "is" "smart" "-")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is not cold.
("Erin" "is" "cold" "-")
triple4
Erin is not round.
("Erin" "is" "round" "-")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
((triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1