Anne is nice. Anne is rough. Anne is smart. Bob is big. Bob is green. Erin is green. Erin is red. Erin is round. Gary is green. Gary is red. If Anne is green and Anne is round then Anne is big. Nice people are rough. Smart people are red. All rough, nice people are round. Round people are green. If someone is green then they are rough.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
If Anne is green and Anne is round then Anne is big.
((("Anne" "is" "green" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "big" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
All rough, nice people are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Gary is red.
True
1
proof
[(triple10)]
("Gary" "is" "red" "+")
triple10
Gary is not red.
False
1
inv-proof
[(triple10)]
("Gary" "is" "red" "-")
triple10
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule2))] Anne is smart.[(triple3)] Bob is big.[(triple4)] Bob is green.[(triple5)] Erin is green.[(triple6 OR ((triple8) -> rule5))] Erin is red.[(triple7)] Erin is round.[(triple8)] Gary is green.[(triple9)] Gary is red.[(triple10)] @1: Anne is red.[(((triple3) -> rule3))] Anne is round.[(((triple2 triple1) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule4))] Bob is rough.[(((triple5) -> rule6))] Erin is rough.[(((triple6) -> rule6) OR ((((triple8) -> rule5)) -> rule6))] Gary is rough.[(((triple9) -> rule6))] @2: Anne is green.[(((((triple2 triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule2) triple1) -> rule4)) -> rule5))] @3: Anne is big.[(((((((triple2 triple1) -> rule4)) -> rule5) ((triple2 triple1) -> rule4)) -> rule1) OR ((((((triple2 triple1) -> rule4)) -> rule5) ((((triple1) -> rule2) triple1) -> rule4)) -> rule1) OR ((((((((triple1) -> rule2) triple1) -> rule4)) -> rule5) ((triple2 triple1) -> rule4)) -> rule1) OR ((((((((triple1) -> rule2) triple1) -> rule4)) -> rule5) ((((triple1) -> rule2) triple1) -> rule4)) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple8) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Anne is red.
("Anne" "is" "red" "+")
((triple3) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((triple2 triple1) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple6) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple2 triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((((((triple2 triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2 triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int4))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple1) -> (rule2 % int4)) triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple1) -> (rule2 % int4)) triple1) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple1) -> (rule2 % int4)) triple1) -> (rule4 % int3))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4