Anne is not big. Anne is blue. Anne is kind. Anne is rough. Anne is round. Anne is white. Anne is young. Charlie is big. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Gary is big. Gary is blue. Gary is kind. Gary is young. All white things are rough. If something is blue then it is kind. If something is rough and white then it is kind. All blue things are round. If something is rough then it is round. If something is round and not blue then it is not big. If Anne is not rough then Anne is round. If Anne is big and Anne is blue then Anne is not round.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
All white things are rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If something is blue then it is kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If something is rough and white then it is kind.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If something is round and not blue then it is not big.
((("something" "is" "round" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "-"))
If Anne is not rough then Anne is round.
((("Anne" "is" "rough" "~")) -> ("Anne" "is" "round" "+"))
If Anne is big and Anne is blue then Anne is not round.
((("Anne" "is" "big" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "round" "-"))
Anne is young.
True
1
proof
[(triple7)]
("Anne" "is" "young" "+")
triple7
Charlie is not rough.
False
1
inv-proof
[(triple10 OR ((triple12) -> rule1))]
("Charlie" "is" "rough" "-")
triple10
((triple12) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is round.
True
2
proof
[(((triple14) -> rule4))]
("Gary" "is" "round" "+")
((triple14) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple14) -> rule4))]
("Gary" "is" "round" "-")
((triple14) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Anne is blue.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule2) OR ((triple4 triple6) -> rule3) OR ((((triple6) -> rule1) triple6) -> rule3))] Anne is not big.[(triple1)] Anne is rough.[(triple4 OR ((triple6) -> rule1))] Anne is round.[(triple5 OR ((triple2) -> rule4) OR ((triple4) -> rule5) OR ((((triple6) -> rule1)) -> rule5))] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is big.[(triple8)] Charlie is kind.[(triple9 OR ((triple10 triple12) -> rule3) OR ((((triple12) -> rule1) triple12) -> rule3))] Charlie is rough.[(triple10 OR ((triple12) -> rule1))] Charlie is round.[(triple11 OR ((triple10) -> rule5) OR ((((triple12) -> rule1)) -> rule5))] Charlie is white.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is kind.[(triple15 OR ((triple14) -> rule2))] Gary is young.[(triple16)] @1: Gary is round.[(((triple14) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple2) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple4 triple6) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple6) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple2) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple4) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
((triple10 triple12) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple12) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple10
((triple12) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple11
((triple10) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple12
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is kind.
("Gary" "is" "kind" "+")
triple15
((triple14) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple16
Gary is round.
("Gary" "is" "round" "+")
((triple14) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1