Anne is green. Anne is not round. Anne is white. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is not white. Charlie is young. Dave is cold. Erin is nice. Erin is not red. Erin is round. Erin is white. Erin is young. If someone is green then they are cold. If someone is red and not nice then they are not white.
Anne is green.
("Anne" "is" "green" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is white.
("Anne" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and not nice then they are not white.
((("someone" "is" "red" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "white" "-"))
Erin is round.
True
1
proof
[(triple14)]
("Erin" "is" "round" "+")
triple14
Charlie is not nice.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "nice" "-")
triple6
Anne is cold.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is not round.[(triple2)] Anne is white.[(triple3)] Charlie is cold.[(triple4 OR ((triple5) -> rule1))] Charlie is green.[(triple5)] Charlie is nice.[(triple6)] Charlie is not white.[(triple9)] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Charlie is young.[(triple10)] Dave is cold.[(triple11)] Erin is nice.[(triple12)] Erin is not red.[(triple13)] Erin is round.[(triple14)] Erin is white.[(triple15)] Erin is young.[(triple16)] @1: Anne is cold.[(((triple1) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((triple5) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is not white.
("Charlie" "is" "white" "-")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is not red.
("Erin" "is" "red" "-")
triple13
Erin is round.
("Erin" "is" "round" "+")
triple14
Erin is white.
("Erin" "is" "white" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1