Anne is big. Anne is quiet. Anne is round. Dave is nice. Dave is quiet. Dave is young. Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is young. Gary is nice. Gary is quiet. Gary is round. Gary is young. If someone is young and white then they are green. If someone is young and big then they are nice. If Anne is young then Anne is nice. If Dave is round and Dave is young then Dave is quiet. Young people are round. If someone is big then they are young. If someone is nice then they are round. Big people are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is young and white then they are green.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If Anne is young then Anne is nice.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "nice" "+"))
If Dave is round and Dave is young then Dave is quiet.
((("Dave" "is" "round" "+") ("Dave" "is" "young" "+")) -> ("Dave" "is" "quiet" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Erin is quiet.
True
1
proof
[(triple10)]
("Erin" "is" "quiet" "+")
triple10
Dave is not nice.
False
1
inv-proof
[(triple4)]
("Dave" "is" "nice" "-")
triple4
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3 OR ((((triple1) -> rule6)) -> rule5) OR ((((triple1) -> rule8)) -> rule7) OR ((((((triple1) -> rule6)) -> rule3)) -> rule7) OR ((((((triple1) -> rule6) triple1) -> rule2)) -> rule7))] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((((triple4) -> rule7) triple6) -> rule4) OR ((((triple6) -> rule5) triple6) -> rule4))] Dave is young.[(triple6)] Erin is big.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9 OR ((triple7) -> rule8) OR ((triple11 triple7) -> rule2) OR ((((triple7) -> rule6) triple7) -> rule2))] Erin is quiet.[(triple10)] Erin is young.[(triple11 OR ((triple7) -> rule6))] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is round.[(triple14 OR ((triple12) -> rule7) OR ((triple15) -> rule5))] Gary is young.[(triple15)] @1: Anne is nice.[(((triple1) -> rule8) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple1) -> rule6) triple1) -> rule2))] Anne is young.[(((triple1) -> rule6))] Dave is round.[(((triple4) -> rule7) OR ((triple6) -> rule5))] Erin is round.[(((triple11) -> rule5) OR ((triple9) -> rule7) OR ((((triple7) -> rule6)) -> rule5) OR ((((triple7) -> rule8)) -> rule7) OR ((((triple11 triple7) -> rule2)) -> rule7) OR ((((((triple7) -> rule6) triple7) -> rule2)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
((((triple4) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple6) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
((triple7) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple11 triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple7) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
triple11
((triple7) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple12) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple15) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple15
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple4) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple6) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple11) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple9) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple7) -> (rule8 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple11 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple7) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3