Anne is furry. Anne is green. Anne is round. Anne is white. Erin is green. Erin is kind. Erin is round. Erin is white. Gary is cold. Gary is green. Gary is quiet. Gary is white. All green, furry people are quiet. If Anne is white then Anne is cold.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
All green, furry people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If Anne is white then Anne is cold.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "cold" "+"))
Erin is round.
True
1
proof
[(triple7)]
("Erin" "is" "round" "+")
triple7
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Anne is cold.
True
2
proof
[(((triple4) -> rule2))]
("Anne" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple4) -> rule2))]
("Anne" "is" "cold" "-")
((triple4) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is quiet.[(triple11)] Gary is white.[(triple12)] @1: Anne is cold.[(((triple4) -> rule2))] Anne is quiet.[(((triple2 triple1) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Anne is cold.
("Anne" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1