Anne is blue. Anne is kind. Anne is nice. Anne is smart. Anne is white. Anne is young. Erin is kind. Erin is rough. Erin is white. Erin is young. White things are rough. If something is smart then it is kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
White things are rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If something is smart then it is kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
Anne is white.
True
1
proof
[(triple5)]
("Anne" "is" "white" "+")
triple5
Anne is not nice.
False
1
inv-proof
[(triple3)]
("Anne" "is" "nice" "-")
triple3
Anne is rough.
True
2
proof
[(((triple5) -> rule1))]
("Anne" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple5) -> rule1))]
("Anne" "is" "rough" "-")
((triple5) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple4) -> rule2))] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Erin is kind.[(triple7)] Erin is rough.[(triple8 OR ((triple9) -> rule1))] Erin is white.[(triple9)] Erin is young.[(triple10)] @1: Anne is rough.[(((triple5) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((triple9) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1