Anne is green. Charlie is cold. Charlie is green. Charlie is red. Charlie is round. Charlie is not smart. Charlie is white. Erin is smart. Erin is white. Erin is young. White things are red. All cold, young things are smart. If Erin is red and Erin is smart then Erin is not green.
Anne is green.
("Anne" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
White things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
All cold, young things are smart.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If Erin is red and Erin is smart then Erin is not green.
((("Erin" "is" "red" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "green" "-"))
Charlie is not smart.
True
1
proof
[(triple6)]
("Charlie" "is" "smart" "-")
triple6
Erin is not white.
False
1
inv-proof
[(triple9)]
("Erin" "is" "white" "-")
triple9
Erin is red.
True
2
proof
[(((triple9) -> rule1))]
("Erin" "is" "red" "+")
((triple9) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Erin" "is" "red" "-")
((triple9) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not green.
True
4
proof
[(((((triple9) -> rule1) triple8) -> rule3))]
("Erin" "is" "green" "-")
((((triple9) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is green.
False
4
inv-proof
[(((((triple9) -> rule1) triple8) -> rule3))]
("Erin" "is" "green" "+")
((((triple9) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is green.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is not smart.[(triple6)] Charlie is red.[(triple4 OR ((triple7) -> rule1))] Charlie is round.[(triple5)] Charlie is white.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] @1: Erin is red.[(((triple9) -> rule1))] @2: Erin is not green.[(((((triple9) -> rule1) triple8) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple4
((triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
((triple9) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not green.
("Erin" "is" "green" "-")
((((triple9) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
int2