Anne is not big. Anne is not furry. Anne is nice. Anne is quiet. Anne is young. Bob is not big. Bob is furry. Bob is green. Bob is kind. Bob is not young. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is not quiet. Fiona is young. If Bob is furry then Bob is not quiet. All nice, young people are not big. If someone is big then they are kind. All nice, green people are not furry. All big people are young. If Bob is big then Bob is young.
Anne is not big.
("Anne" "is" "big" "-")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is not big.
("Bob" "is" "big" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not young.
("Bob" "is" "young" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If Bob is furry then Bob is not quiet.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "quiet" "-"))
All nice, young people are not big.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "-"))
If someone is big then they are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All nice, green people are not furry.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "-"))
All big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If Bob is big then Bob is young.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "young" "+"))
Fiona is nice.
True
1
proof
[(triple13)]
("Fiona" "is" "nice" "+")
triple13
Anne is not quiet.
False
1
inv-proof
[(triple4)]
("Anne" "is" "quiet" "-")
triple4
Fiona is not big.
True
3
proof
[(((triple13 triple15) -> rule2))]
("Fiona" "is" "big" "-")
((triple13 triple15) -> (rule2 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Bob is quiet.
False
2
inv-proof
[(((triple7) -> rule1))]
("Bob" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is nice.[(triple3)] Anne is not big.[(triple1 OR ((triple3 triple5) -> rule2))] Anne is not furry.[(triple2)] Anne is quiet.[(triple4)] Anne is young.[(triple5)] Bob is furry.[(triple7)] Bob is green.[(triple8)] Bob is kind.[(triple9)] Bob is not big.[(triple6)] Bob is not young.[(triple10)] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] Fiona is nice.[(triple13)] Fiona is not quiet.[(triple14)] Fiona is young.[(triple15)] @1: Bob is not quiet.[(((triple7) -> rule1))] Fiona is not big.[(((triple13 triple15) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
((triple3 triple5) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple9
Bob is not big.
("Bob" "is" "big" "-")
triple6
Bob is not young.
("Bob" "is" "young" "-")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Bob is not quiet.
("Bob" "is" "quiet" "-")
((triple7) -> (rule1 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
((triple13 triple15) -> (rule2 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1