Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is smart. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is smart. Erin is furry. Erin is green. Erin is nice. Erin is white. All furry, quiet things are nice. If something is white and smart then it is nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
All furry, quiet things are nice.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is white and smart then it is nice.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
Dave is nice.
True
1
proof
[(triple9 OR ((triple7 triple10) -> rule1))]
("Dave" "is" "nice" "+")
triple9
((triple7 triple10) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple1 triple5) -> rule1))] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9 OR ((triple7 triple10) -> rule1))] Dave is quiet.[(triple10)] Dave is smart.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is nice.[(triple14)] Erin is white.[(triple15)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple1 triple5) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
((triple7 triple10) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
Erin is white.
("Erin" "is" "white" "+")
triple15