Charlie is not cold. Charlie is not green. Charlie is not nice. Dave is nice. Dave is not rough. Dave is white. Erin is cold. Erin is green. Erin is not rough. Erin is young. Gary is cold. Gary is green. Gary is nice. Gary is rough. Gary is white. If someone is rough and young then they are not green. All young, cold people are white.
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is rough and young then they are not green.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
All young, cold people are white.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
Gary is nice.
True
1
proof
[(triple13)]
("Gary" "is" "nice" "+")
triple13
Gary is not rough.
False
1
inv-proof
[(triple14)]
("Gary" "is" "rough" "-")
triple14
Erin is white.
True
3
proof
[(((triple10 triple7) -> rule2))]
("Erin" "is" "white" "+")
((triple10 triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
3
inv-proof
[(((triple10 triple7) -> rule2))]
("Erin" "is" "white" "-")
((triple10 triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "white" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is not cold.[(triple1)] Charlie is not green.[(triple2)] Charlie is not nice.[(triple3)] Dave is nice.[(triple4)] Dave is not rough.[(triple5)] Dave is white.[(triple6)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is not rough.[(triple9)] Erin is young.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] @1: Erin is white.[(((triple10 triple7) -> rule2))]
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple1
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not rough.
("Dave" "is" "rough" "-")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is not rough.
("Erin" "is" "rough" "-")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
((triple10 triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1