Anne is kind. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is not smart. Dave is white. Green people are nice. All furry people are green. Green people are furry. If someone is green and not quiet then they are furry. Kind people are furry. If Anne is kind then Anne is nice.
Anne is kind.
("Anne" "is" "kind" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is white.
("Dave" "is" "white" "+")
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is green and not quiet then they are furry.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "+"))
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If Anne is kind then Anne is nice.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "nice" "+"))
Dave is white.
True
1
proof
[(triple15)]
("Dave" "is" "white" "+")
triple15
Dave is not quiet.
False
1
inv-proof
[(triple13)]
("Dave" "is" "quiet" "-")
triple13
Anne is furry.
True
2
proof
[(((triple1) -> rule5))]
("Anne" "is" "furry" "+")
((triple1) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule5))]
("Anne" "is" "furry" "-")
((triple1) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
True
3
proof
[(((((triple1) -> rule5)) -> rule2))]
("Anne" "is" "green" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not green.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule2))]
("Anne" "is" "green" "-")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is kind.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule3) OR ((triple4) -> rule5))] Bob is green.[(triple3 OR ((triple2) -> rule2) OR ((((triple4) -> rule5)) -> rule2))] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1) OR ((((((triple4) -> rule5)) -> rule2)) -> rule1))] Bob is quiet.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8)] Dave is furry.[(triple9 OR ((triple10) -> rule3) OR ((triple11) -> rule5))] Dave is green.[(triple10 OR ((triple9) -> rule2) OR ((((triple11) -> rule5)) -> rule2))] Dave is kind.[(triple11)] Dave is nice.[(triple12 OR ((triple10) -> rule1) OR ((((triple9) -> rule2)) -> rule1) OR ((((((triple11) -> rule5)) -> rule2)) -> rule1))] Dave is not smart.[(triple14)] Dave is quiet.[(triple13)] Dave is white.[(triple15)] @1: Anne is furry.[(((triple1) -> rule5))] Anne is nice.[(((triple1) -> rule6) OR ((((((triple1) -> rule5)) -> rule2)) -> rule1))] @2: Anne is green.[(((((triple1) -> rule5)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple4) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
((triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple9
((triple10) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple11) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple10
((triple9) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple11) -> (rule5 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple11
Dave is nice.
("Dave" "is" "nice" "+")
triple12
((triple10) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((((triple11) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is not smart.
("Dave" "is" "smart" "-")
triple14
Dave is quiet.
("Dave" "is" "quiet" "+")
triple13
Dave is white.
("Dave" "is" "white" "+")
triple15
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2