Bob is rough. Charlie is big. Charlie is quiet. Dave is big. Dave is furry. Dave is nice. Dave is quiet. Dave is rough. Dave is young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is young. All blue, quiet things are nice. If Fiona is blue and Fiona is quiet then Fiona is furry. All blue, nice things are big.
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
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 quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All blue, quiet things are nice.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If Fiona is blue and Fiona is quiet then Fiona is furry.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "furry" "+"))
All blue, nice things are big.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Fiona is not quiet.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "quiet" "-")
triple13
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is rough.[(triple1)] Charlie is big.[(triple2)] Charlie is quiet.[(triple3)] Dave is big.[(triple4)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Dave is young.[(triple9)] Fiona is big.[(triple10 OR ((triple11 ((triple11 triple13) -> rule1)) -> rule3))] Fiona is blue.[(triple11)] Fiona is furry.[(triple12 OR ((triple11 triple13) -> rule2))] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14)] Fiona is young.[(triple15)] @1: Fiona is nice.[(((triple11 triple13) -> rule1))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
((triple11 ((triple11 triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
((triple11 triple13) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple11 triple13) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1