Charlie is blue. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is young. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is round. If something is kind and red then it is blue. If something is kind and not blue then it is round.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
If something is kind and red then it is blue.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is kind and not blue then it is round.
((("something" "is" "kind" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
Charlie is red.
True
1
proof
[(triple5)]
("Charlie" "is" "red" "+")
triple5
Erin is not round.
False
1
inv-proof
[(triple12)]
("Erin" "is" "round" "-")
triple12
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Charlie is blue.[(triple1 OR ((triple4 triple5) -> rule1))] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is not furry.[(triple2)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is kind.[(triple11)] Erin is round.[(triple12)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple4 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
triple11
Erin is round.
("Erin" "is" "round" "+")
triple12