Charlie is not green. Charlie is kind. Charlie is red. Charlie is white. Erin is green. Erin is nice. Gary is blue. Gary is green. Gary is not kind. Gary is not white. Green things are red. If something is blue and not kind then it is quiet. If something is nice and red then it is not quiet.
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is not white.
("Gary" "is" "white" "-")
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If something is blue and not kind then it is quiet.
((("something" "is" "blue" "+") ("something" "is" "kind" "~")) -> ("something" "is" "quiet" "+"))
If something is nice and red then it is not quiet.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "-"))
Charlie is not green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "-")
triple1
Erin is not nice.
False
1
inv-proof
[(triple6)]
("Erin" "is" "nice" "-")
triple6
Gary is quiet.
True
3
proof
[(((triple7 triple9) -> rule2))]
("Gary" "is" "quiet" "+")
((triple7 triple9) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple8) -> rule1))]
("Gary" "is" "red" "-")
((triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is not quiet.
True
4
proof
[(((triple6 ((triple5) -> rule1)) -> rule3))]
("Erin" "is" "quiet" "-")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
False
4
inv-proof
[(((triple6 ((triple5) -> rule1)) -> rule3))]
("Erin" "is" "quiet" "+")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Charlie is kind.[(triple2)] Charlie is not green.[(triple1)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is not kind.[(triple9)] Gary is not white.[(triple10)] @1: Erin is red.[(((triple5) -> rule1))] Gary is quiet.[(((triple7 triple9) -> rule2))] Gary is red.[(((triple8) -> rule1))] @2: Erin is not quiet.[(((triple6 ((triple5) -> rule1)) -> rule3))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is not green.
("Charlie" "is" "green" "-")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is not kind.
("Gary" "is" "kind" "-")
triple9
Gary is not white.
("Gary" "is" "white" "-")
triple10
Erin is red.
("Erin" "is" "red" "+")
((triple5) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple7 triple9) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2