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