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