Anne is green. Anne is round. Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is not round. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. If something is kind and round then it is not green. All quiet, kind things are big. Round, green things are big. All quiet things are not kind. If something is kind and not quiet then it is furry. If Dave is round and Dave is big then Dave is furry.
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not round.
("Dave" "is" "round" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If something is kind and round then it is not green.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
All quiet, kind things are big.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Round, green things are big.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
All quiet things are not kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "-"))
If something is kind and not quiet then it is furry.
((("something" "is" "kind" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "furry" "+"))
If Dave is round and Dave is big then Dave is furry.
((("Dave" "is" "round" "+") ("Dave" "is" "big" "+")) -> ("Dave" "is" "furry" "+"))
Dave is big.
True
1
proof
[(triple3)]
("Dave" "is" "big" "+")
triple3
Dave is not nice.
False
1
inv-proof
[(triple7)]
("Dave" "is" "nice" "-")
triple7
Anne is big.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Anne" "is" "big" "+")
((triple2 triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Anne" "is" "big" "-")
((triple2 triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is not round.[(triple8)] Fiona is big.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] @1: Anne is big.[(((triple2 triple1) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is not round.
("Dave" "is" "round" "-")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Anne is big.
("Anne" "is" "big" "+")
((triple2 triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1