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