Anne is big. Anne is quiet. Anne is red. Anne is white. Dave is big. Dave is furry. Dave is quiet. Dave is red. Dave is smart. Dave is white. Fiona is big. Fiona is furry. Fiona is red. Fiona is round. Fiona is smart. If something is furry and smart then it is round. If something is furry then it is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is furry and smart then it is round.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Fiona is round.
True
1
proof
[(triple14 OR ((triple12 triple15) -> rule1))]
("Fiona" "is" "round" "+")
triple14
((triple12 triple15) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Dave is round.
True
3
proof
[(((triple6 triple9) -> rule1))]
("Dave" "is" "round" "+")
((triple6 triple9) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple6 triple9) -> rule1))]
("Dave" "is" "round" "-")
((triple6 triple9) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Dave is big.[(triple5 OR ((triple6) -> rule2))] Dave is furry.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] Fiona is big.[(triple11 OR ((triple12) -> rule2))] Fiona is furry.[(triple12)] Fiona is red.[(triple13)] Fiona is round.[(triple14 OR ((triple12 triple15) -> rule1))] Fiona is smart.[(triple15)] @1: Dave is round.[(((triple6 triple9) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
((triple6) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
((triple12) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
((triple12 triple15) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Dave is round.
("Dave" "is" "round" "+")
((triple6 triple9) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1