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