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