Erin is furry. Erin is kind. Erin is red. Erin is young. Gary is blue. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is young. Blue things are kind. All furry, young things are rough.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
All furry, young things are rough.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
Gary is quiet.
True
1
proof
[(triple7)]
("Gary" "is" "quiet" "+")
triple7
Gary is not blue.
False
1
inv-proof
[(triple5)]
("Gary" "is" "blue" "-")
triple5
Erin is rough.
True
3
proof
[(((triple1 triple4) -> rule2))]
("Erin" "is" "rough" "+")
((triple1 triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
3
inv-proof
[(((triple1 triple4) -> rule2))]
("Erin" "is" "rough" "-")
((triple1 triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] Erin is young.[(triple4)] Gary is blue.[(triple5)] Gary is kind.[(triple6 OR ((triple5) -> rule1))] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is young.[(triple10)] @1: Erin is rough.[(((triple1 triple4) -> rule2))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
((triple5) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
((triple1 triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1