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