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