Anne is smart. Dave is big. Dave is furry. Dave is rough. Dave is round. Dave is smart. Fiona is big. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is young. Round, quiet people are big. Round people are quiet. If someone is quiet and rough then they are young. All quiet people are big. All quiet, rough people are young. If someone is big and quiet then they are smart.
Anne is smart.
("Anne" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Round, quiet people are big.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet and rough then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All quiet, rough people are young.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and quiet then they are smart.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Fiona is furry.
True
1
proof
[(triple8)]
("Fiona" "is" "furry" "+")
triple8
Fiona is not quiet.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "quiet" "-")
triple9
Dave is quiet.
True
2
proof
[(((triple5) -> rule2))]
("Dave" "is" "quiet" "+")
((triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is not quiet.
False
2
inv-proof
[(((triple5) -> rule2))]
("Dave" "is" "quiet" "-")
((triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
True
4
proof
[(((((triple5) -> rule2) triple4) -> rule3) OR ((((triple5) -> rule2) triple4) -> rule5))]
("Dave" "is" "young" "+")
((((triple5) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple5) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is not young.
False
4
inv-proof
[(((((triple5) -> rule2) triple4) -> rule3) OR ((((triple5) -> rule2) triple4) -> rule5))]
("Dave" "is" "young" "-")
((((triple5) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple5) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Anne is not big.
Unknown
inv-rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "young" "+")
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is smart.[(triple1)] Dave is big.[(triple2 OR ((((triple5) -> rule2)) -> rule4) OR ((triple5 ((triple5) -> rule2)) -> rule1))] Dave is furry.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple2 ((triple5) -> rule2)) -> rule6) OR ((((((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule6) OR ((((triple5 ((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule6))] Fiona is big.[(triple7 OR ((triple9) -> rule4))] Fiona is furry.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11 OR ((triple7 triple9) -> rule6) OR ((((triple9) -> rule4) triple9) -> rule6))] Fiona is young.[(triple12 OR ((triple9 triple10) -> rule3) OR ((triple9 triple10) -> rule5))] @1: Dave is quiet.[(((triple5) -> rule2))] @2: Dave is young.[(((((triple5) -> rule2) triple4) -> rule3) OR ((((triple5) -> rule2) triple4) -> rule5))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((triple5 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple2 ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int3))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule1 % int2)) ((triple5) -> (rule2 % int3))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
triple7
((triple9) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
((triple7 triple9) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple9) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple12
((triple9 triple10) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple9 triple10) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple5) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple5) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2