Anne is cold. Anne is green. Anne is kind. Anne is not quiet. Anne is not round. Anne is smart. Anne is young. Bob is not cold. Bob is green. Bob is kind. Bob is quiet. Bob is round. Bob is not smart. Bob is young. Charlie is kind. Charlie is quiet. If something is kind then it is green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is not round.
("Anne" "is" "round" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is young.
("Bob" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Charlie is kind.
True
1
proof
[(triple15)]
("Charlie" "is" "kind" "+")
triple15
Anne is not smart.
False
1
inv-proof
[(triple6)]
("Anne" "is" "smart" "-")
triple6
Charlie is green.
True
2
proof
[(((triple15) -> rule1))]
("Charlie" "is" "green" "+")
((triple15) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple15) -> rule1))]
("Charlie" "is" "green" "-")
((triple15) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple3) -> rule1))] Anne is kind.[(triple3)] Anne is not quiet.[(triple4)] Anne is not round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Bob is green.[(triple9 OR ((triple10) -> rule1))] Bob is kind.[(triple10)] Bob is not cold.[(triple8)] Bob is not smart.[(triple13)] Bob is quiet.[(triple11)] Bob is round.[(triple12)] Bob is young.[(triple14)] Charlie is kind.[(triple15)] Charlie is quiet.[(triple16)] @1: Charlie is green.[(((triple15) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is not round.
("Anne" "is" "round" "-")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple9
((triple10) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple10
Bob is not cold.
("Bob" "is" "cold" "-")
triple8
Bob is not smart.
("Bob" "is" "smart" "-")
triple13
Bob is quiet.
("Bob" "is" "quiet" "+")
triple11
Bob is round.
("Bob" "is" "round" "+")
triple12
Bob is young.
("Bob" "is" "young" "+")
triple14
Charlie is kind.
("Charlie" "is" "kind" "+")
triple15
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple16
Charlie is green.
("Charlie" "is" "green" "+")
((triple15) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1