Bob is cold. Bob is red. Bob is young. Dave is red. Erin is red. Gary is furry. Gary is white. All round things are red. White, furry things are red.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is white.
("Gary" "is" "white" "+")
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
White, furry things are red.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Erin is red.
True
1
proof
[(triple5)]
("Erin" "is" "red" "+")
triple5
Dave is not red.
False
1
inv-proof
[(triple4)]
("Dave" "is" "red" "-")
triple4
Gary is red.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Gary" "is" "red" "+")
((triple7 triple6) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Gary" "is" "red" "-")
((triple7 triple6) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Bob is young.[(triple3)] Dave is red.[(triple4)] Erin is red.[(triple5)] Gary is furry.[(triple6)] Gary is white.[(triple7)] @1: Gary is red.[(((triple7 triple6) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
((triple7 triple6) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1