Anne is blue. Anne is furry. Anne is kind. Dave is big. Dave is blue. Dave is kind. Dave is round. Dave is young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is round. All kind, round people are furry. Big people are round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All kind, round people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Dave is furry.
True
3
proof
[(((triple6 triple7) -> rule1) OR ((triple6 ((triple4) -> rule2)) -> rule1))]
("Dave" "is" "furry" "+")
((triple6 triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple6 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((triple6 triple7) -> rule1) OR ((triple6 ((triple4) -> rule2)) -> rule1))]
("Dave" "is" "furry" "-")
((triple6 triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple6 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "round" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is kind.[(triple6)] Dave is round.[(triple7 OR ((triple4) -> rule2))] Dave is young.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is round.[(triple12 OR ((triple9) -> rule2))] @1: Dave is furry.[(((triple6 triple7) -> rule1) OR ((triple6 ((triple4) -> rule2)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
((triple4) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
((triple9) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple6 triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple6 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2