Anne is blue. Anne is furry. Anne is kind. Anne is round. Anne is smart. Anne is white. Anne is young. Charlie is furry. Charlie is round. Charlie is smart. All blue, smart people are white. If Charlie is round and Charlie is smart then Charlie is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
All blue, smart people are white.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If Charlie is round and Charlie is smart then Charlie is blue.
((("Charlie" "is" "round" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "blue" "+"))
Charlie is furry.
True
1
proof
[(triple8)]
("Charlie" "is" "furry" "+")
triple8
Anne is not young.
False
1
inv-proof
[(triple7)]
("Anne" "is" "young" "-")
triple7
Charlie is blue.
True
3
proof
[(((triple9 triple10) -> rule2))]
("Charlie" "is" "blue" "+")
((triple9 triple10) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple9 triple10) -> rule2))]
("Charlie" "is" "blue" "-")
((triple9 triple10) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
True
5
proof
[(((((triple9 triple10) -> rule2) triple10) -> rule1))]
("Charlie" "is" "white" "+")
((((triple9 triple10) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not white.
False
5
inv-proof
[(((((triple9 triple10) -> rule2) triple10) -> rule1))]
("Charlie" "is" "white" "-")
((((triple9 triple10) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple1 triple5) -> rule1))] Anne is young.[(triple7)] Charlie is furry.[(triple8)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] @1: Charlie is blue.[(((triple9 triple10) -> rule2))] @2: Charlie is white.[(((((triple9 triple10) -> rule2) triple10) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple1 triple5) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple9 triple10) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((((triple9 triple10) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2