Dave is furry. Dave is kind. Dave is not quiet. Dave is not rough. Dave is not round. Fiona is furry. Fiona is quiet. Fiona is young. Harry is furry. Harry is rough. All big things are furry. All quiet, young things are big. If something is young and round then it is big. All young things are round. If Dave is rough then Dave is not furry. If something is young and not round then it is rough.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is not round.
("Dave" "is" "round" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
All quiet, young things are big.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is young and round then it is big.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If Dave is rough then Dave is not furry.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "furry" "-"))
If something is young and not round then it is rough.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "rough" "+"))
Dave is furry.
True
1
proof
[(triple1)]
("Dave" "is" "furry" "+")
triple1
Dave is quiet.
False
1
inv-proof
[(triple3)]
("Dave" "is" "quiet" "+")
triple3
Fiona is big.
True
3
proof
[(((triple7 triple8) -> rule2) OR ((triple8 ((triple8) -> rule4)) -> rule3))]
("Fiona" "is" "big" "+")
((triple7 triple8) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple8 ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not big.
False
3
inv-proof
[(((triple7 triple8) -> rule2) OR ((triple8 ((triple8) -> rule4)) -> rule3))]
("Fiona" "is" "big" "-")
((triple7 triple8) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple8 ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is not quiet.[(triple3)] Dave is not rough.[(triple4)] Dave is not round.[(triple5)] Fiona is furry.[(triple6 OR ((((triple7 triple8) -> rule2)) -> rule1) OR ((((triple8 ((triple8) -> rule4)) -> rule3)) -> rule1))] Fiona is quiet.[(triple7)] Fiona is young.[(triple8)] Harry is furry.[(triple9)] Harry is rough.[(triple10)] @1: Fiona is big.[(((triple7 triple8) -> rule2) OR ((triple8 ((triple8) -> rule4)) -> rule3))] Fiona is round.[(((triple8) -> rule4))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple3
Dave is not rough.
("Dave" "is" "rough" "-")
triple4
Dave is not round.
("Dave" "is" "round" "-")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((((triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple8 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
((triple7 triple8) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple8 ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple8) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1