Anne is furry. Anne is nice. Bob is big. Bob is nice. Bob is quiet. Bob is young. Dave is big. Dave is green. Dave is smart. Fiona is not furry. Fiona is not smart. Fiona is young. All big things are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
All big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Dave is green.
True
1
proof
[(triple8)]
("Dave" "is" "green" "+")
triple8
Bob is not nice.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule1))]
("Bob" "is" "nice" "-")
triple4
((triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Dave is nice.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Bob is big.[(triple3)] Bob is nice.[(triple4 OR ((triple3) -> rule1))] Bob is quiet.[(triple5)] Bob is young.[(triple6)] Dave is big.[(triple7)] Dave is green.[(triple8)] Dave is smart.[(triple9)] Fiona is not furry.[(triple10)] Fiona is not smart.[(triple11)] Fiona is young.[(triple12)] @1: Dave is nice.[(((triple7) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple10
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Dave is nice.
("Dave" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1