Anne is blue. Anne is green. Anne is quiet. Anne is round. Bob is blue. Bob is not green. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Kind things are not rough. If something is smart and not blue then it is round. If something is rough and not blue then it is round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Kind things are not rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "-"))
If something is smart and not blue then it is round.
((("something" "is" "smart" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
If something is rough and not blue then it is round.
((("something" "is" "rough" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
Bob is kind.
True
1
proof
[(triple7)]
("Bob" "is" "kind" "+")
triple7
Bob is not round.
False
1
inv-proof
[(triple9)]
("Bob" "is" "round" "-")
triple9
Bob is not rough.
True
2
proof
[(((triple7) -> rule1))]
("Bob" "is" "rough" "-")
((triple7) -> (rule1 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is rough.
False
2
inv-proof
[(((triple7) -> rule1))]
("Bob" "is" "rough" "+")
((triple7) -> (rule1 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
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 green.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is kind.[(triple7)] Bob is not green.[(triple6)] Bob is quiet.[(triple8)] Bob is round.[(triple9)] Bob is smart.[(triple10)] @1: Bob is not rough.[(((triple7) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is not green.
("Bob" "is" "green" "-")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Bob is round.
("Bob" "is" "round" "+")
triple9
Bob is smart.
("Bob" "is" "smart" "+")
triple10
Bob is not rough.
("Bob" "is" "rough" "-")
((triple7) -> (rule1 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1