Bob is big. Charlie is furry. Charlie is nice. Dave is big. Dave is furry. Dave is green. Dave is rough. Dave is round. Dave is young. Gary is big. Gary is nice. Gary is young. Rough things are young. Green, round things are young. Big, round things are young. If Gary is young then Gary is furry. All young, round things are green. If something is young then it is big. Rough, furry things are big. If something is young then it is round.
Bob is big.
("Bob" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Green, round things are young.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Big, round things are young.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If Gary is young then Gary is furry.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "furry" "+"))
All young, round things are green.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is young then it is big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Rough, furry things are big.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Gary is young.
True
1
proof
[(triple12)]
("Gary" "is" "young" "+")
triple12
Gary is not big.
False
1
inv-proof
[(triple10 OR ((triple12) -> rule6))]
("Gary" "is" "big" "-")
triple10
((triple12) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
True
2
proof
[(((triple12) -> rule8))]
("Gary" "is" "round" "+")
((triple12) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple12) -> rule4))]
("Gary" "is" "furry" "-")
((triple12) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@3: Charlie is green.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Dave is big.[(triple4 OR ((triple9) -> rule6) OR ((triple7 triple5) -> rule7) OR ((((triple7) -> rule1)) -> rule6) OR ((((triple6 triple8) -> rule2)) -> rule6))] Dave is furry.[(triple5)] Dave is green.[(triple6 OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple9) -> rule8)) -> rule5) OR ((((triple7) -> rule1) triple8) -> rule5) OR ((((triple4 triple8) -> rule3) triple8) -> rule5) OR ((((triple7) -> rule1) ((triple9) -> rule8)) -> rule5) OR ((((triple4 triple8) -> rule3) ((triple9) -> rule8)) -> rule5) OR ((triple9 ((((triple7) -> rule1)) -> rule8)) -> rule5) OR ((((((triple7 triple5) -> rule7) triple8) -> rule3) triple8) -> rule5) OR ((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule8)) -> rule5) OR ((((triple4 triple8) -> rule3) ((((triple7) -> rule1)) -> rule8)) -> rule5) OR ((((((triple7 triple5) -> rule7) triple8) -> rule3) ((triple9) -> rule8)) -> rule5) OR ((((((triple7 triple5) -> rule7) triple8) -> rule3) ((((triple7) -> rule1)) -> rule8)) -> rule5))] Dave is rough.[(triple7)] Dave is round.[(triple8 OR ((triple9) -> rule8) OR ((((triple7) -> rule1)) -> rule8))] Dave is young.[(triple9 OR ((triple7) -> rule1) OR ((triple4 triple8) -> rule3) OR ((triple6 triple8) -> rule2) OR ((((triple7 triple5) -> rule7) triple8) -> rule3))] Gary is big.[(triple10 OR ((triple12) -> rule6))] Gary is nice.[(triple11)] Gary is young.[(triple12)] @1: Gary is furry.[(((triple12) -> rule4))] Gary is round.[(((triple12) -> rule8))] @2: Gary is green.[(((triple12 ((triple12) -> rule8)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
((triple9) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple7 triple5) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple6 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
((triple9 triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple9 ((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple7) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple4 triple8) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple4 triple8) -> (rule3 % int3)) ((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((triple9 ((((triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple7 triple5) -> (rule7 % int3)) triple8) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple4 triple8) -> (rule3 % int3)) ((((triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple7 triple5) -> (rule7 % int4)) triple8) -> (rule3 % int3)) ((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple7 triple5) -> (rule7 % int4)) triple8) -> (rule3 % int3)) ((((triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
((triple9) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple9
((triple7) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple4 triple8) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple6 triple8) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple7 triple5) -> (rule7 % int2)) triple8) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
triple10
((triple12) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
((triple12) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple12) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple12 ((triple12) -> (rule8 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2