Erin is blue. Erin is red. Erin is young. Gary is blue. Gary is rough. Gary is not young. Harry is blue. If someone is red and blue then they are not rough. If Gary is young and Gary is nice then Gary is not red.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and blue then they are not rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "-"))
If Gary is young and Gary is nice then Gary is not red.
((("Gary" "is" "young" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "red" "-"))
Gary is rough.
True
1
proof
[(triple5)]
("Gary" "is" "rough" "+")
triple5
Gary is not blue.
False
1
inv-proof
[(triple4)]
("Gary" "is" "blue" "-")
triple4
Erin is not rough.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Erin" "is" "rough" "-")
((triple2 triple1) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is rough.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Erin" "is" "rough" "+")
((triple2 triple1) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is blue.[(triple1)] Erin is red.[(triple2)] Erin is young.[(triple3)] Gary is blue.[(triple4)] Gary is not young.[(triple6)] Gary is rough.[(triple5)] Harry is blue.[(triple7)] @1: Erin is not rough.[(((triple2 triple1) -> rule1))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is not young.
("Gary" "is" "young" "-")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Erin is not rough.
("Erin" "is" "rough" "-")
((triple2 triple1) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1