Erin is green. Erin is kind. Erin is nice. Erin is smart. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is white. All kind people are red. All green people are red.
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Gary is not white.
False
1
inv-proof
[(triple10)]
("Gary" "is" "white" "-")
triple10
Erin is red.
True
2
proof
[(((triple1) -> rule2) OR ((triple2) -> rule1))]
("Erin" "is" "red" "+")
((triple1) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple2) -> rule1))]
("Erin" "is" "red" "-")
((triple1) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is smart.[(triple4)] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is red.[(triple8 OR ((triple6) -> rule2) OR ((triple7) -> rule1))] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Erin is red.[(((triple1) -> rule2) OR ((triple2) -> rule1))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
((triple6) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
((triple1) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1