Erin is blue. Erin is cold. Gary is cold. All cold things are blue. If something is cold then it is furry. If something is white and green then it is furry.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
All cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is white and green then it is furry.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Erin is blue.
True
1
proof
[(triple1 OR ((triple2) -> rule1))]
("Erin" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Gary is blue.
True
2
proof
[(((triple3) -> rule1))]
("Gary" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "furry" "-")
((triple2) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is blue.[(triple1 OR ((triple2) -> rule1))] Erin is cold.[(triple2)] Gary is cold.[(triple3)] @1: Erin is furry.[(((triple2) -> rule2))] Gary is blue.[(((triple3) -> rule1))] Gary is furry.[(((triple3) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1