Anne is kind. Anne is white. Charlie is nice. Charlie is white. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is white. Erin is young. Fiona is kind. Fiona is white. If someone is white and nice then they are kind. If Charlie is kind then Charlie is white.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is white and nice then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If Charlie is kind then Charlie is white.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "white" "+"))
Fiona is kind.
True
1
proof
[(triple11)]
("Fiona" "is" "kind" "+")
triple11
Fiona is not white.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "white" "-")
triple12
Erin is kind.
True
3
proof
[(((triple9 triple8) -> rule1))]
("Erin" "is" "kind" "+")
((triple9 triple8) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("Erin" "is" "kind" "-")
((triple9 triple8) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is kind.[(triple1)] Anne is white.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] Fiona is kind.[(triple11)] Fiona is white.[(triple12)] @1: Charlie is kind.[(((triple4 triple3) -> rule1))] Erin is kind.[(((triple9 triple8) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple9 triple8) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1