Charlie is blue. Charlie is kind. Charlie is red. Erin is blue. Erin is not red. Erin is not rough. Erin is young. All blue things are not rough.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is young.
("Erin" "is" "young" "+")
All blue things are not rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "-"))
Erin is young.
True
1
proof
[(triple7)]
("Erin" "is" "young" "+")
triple7
Erin is not young.
False
1
inv-proof
[(triple7)]
("Erin" "is" "young" "-")
triple7
Charlie is not rough.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Erin is blue.[(triple4)] Erin is not red.[(triple5)] Erin is not rough.[(triple6 OR ((triple4) -> rule1))] Erin is young.[(triple7)] @1: Charlie is not rough.[(((triple1) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is not red.
("Erin" "is" "red" "-")
triple5
Erin is not rough.
("Erin" "is" "rough" "-")
triple6
((triple4) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is young.
("Erin" "is" "young" "+")
triple7
Charlie is not rough.
("Charlie" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1