Anne is cold. Bob is red. Erin is cold. Gary is red. If something is cold then it is red. All round, rough things are furry. Kind, cold things are round. All kind, rough things are young. All round, cold things are young. All rough, furry things are red. If something is furry then it is red. Red, kind things are round.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
All round, rough things are furry.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Kind, cold things are round.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
All kind, rough things are young.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All round, cold things are young.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
All rough, furry things are red.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
If something is furry then it is red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Red, kind things are round.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Erin is cold.
True
1
proof
[(triple3)]
("Erin" "is" "cold" "+")
triple3
Gary is not red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Bob is red.[(triple2)] Erin is cold.[(triple3)] Gary is red.[(triple4)] @1: Anne is red.[(((triple1) -> rule1))] Erin is red.[(((triple3) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple3) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1