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