Anne is not red. Anne is smart. Anne is young. Charlie is green. Charlie is not red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Gary is not green. Gary is rough. Gary is round. Gary is smart. Gary is white. Gary is young. Red people are white. All green people are white. All young people are white. If someone is rough and not red then they are white. If Charlie is red and Charlie is not rough then Charlie is not green. If Anne is rough then Anne is not green. If someone is white and green then they are smart. If someone is round and not young then they are not smart.
Anne is not red.
("Anne" "is" "red" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
All green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
All young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is rough and not red then they are white.
((("someone" "is" "rough" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "white" "+"))
If Charlie is red and Charlie is not rough then Charlie is not green.
((("Charlie" "is" "red" "+") ("Charlie" "is" "rough" "~")) -> ("Charlie" "is" "green" "-"))
If Anne is rough then Anne is not green.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "green" "-"))
If someone is white and green then they are smart.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is round and not young then they are not smart.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "smart" "-"))
Charlie is young.
True
1
proof
[(triple10)]
("Charlie" "is" "young" "+")
triple10
Charlie is red.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "red" "+")
triple5
Anne is white.
True
2
proof
[(((triple3) -> rule3))]
("Anne" "is" "white" "+")
((triple3) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple3) -> rule3))]
("Anne" "is" "white" "-")
((triple3) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is not red.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Charlie is green.[(triple4)] Charlie is not red.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Charlie is smart.[(triple8 OR ((triple9 triple4) -> rule7) OR ((((triple10) -> rule3) triple4) -> rule7) OR ((((triple4) -> rule2) triple4) -> rule7) OR ((((triple6 triple5) -> rule4) triple4) -> rule7))] Charlie is white.[(triple9 OR ((triple10) -> rule3) OR ((triple4) -> rule2) OR ((triple6 triple5) -> rule4))] Charlie is young.[(triple10)] Gary is not green.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((triple16) -> rule3))] Gary is young.[(triple16)] @1: Anne is white.[(((triple3) -> rule3))]
Anne is not red.
("Anne" "is" "red" "-")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is not red.
("Charlie" "is" "red" "-")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
((triple9 triple4) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple10) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple4) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple6 triple5) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple9
((triple10) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple4) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple6 triple5) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Gary is not green.
("Gary" "is" "green" "-")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
((triple16) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple16
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1