Bob is kind. Bob is quiet. Bob is smart. Bob is white. Erin is big. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Erin is white. If something is furry then it is smart. If something is smart and quiet then it is rough. If something is furry and white then it is quiet.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is furry then it is smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
If something is smart and quiet then it is rough.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is furry and white then it is quiet.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Bob is quiet.
True
1
proof
[(triple2)]
("Bob" "is" "quiet" "+")
triple2
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Erin is rough.
True
3
proof
[(((triple9 triple8) -> rule2) OR ((triple9 ((triple6 triple10) -> rule3)) -> rule2) OR ((((triple6) -> rule1) triple8) -> rule2) OR ((((triple6) -> rule1) ((triple6 triple10) -> rule3)) -> rule2))]
("Erin" "is" "rough" "+")
((triple9 triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple9 ((triple6 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple6) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple6) -> (rule1 % int3)) ((triple6 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Bob is not rough.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Bob" "is" "rough" "-")
((triple3 triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8 OR ((triple6 triple10) -> rule3))] Erin is smart.[(triple9 OR ((triple6) -> rule1))] Erin is white.[(triple10)] @1: Bob is rough.[(((triple3 triple2) -> rule2))] Erin is rough.[(((triple9 triple8) -> rule2) OR ((triple9 ((triple6 triple10) -> rule3)) -> rule2) OR ((((triple6) -> rule1) triple8) -> rule2) OR ((((triple6) -> rule1) ((triple6 triple10) -> rule3)) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
((triple6 triple10) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple9
((triple6) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple9 triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple9 ((triple6 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple6) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple6) -> (rule1 % int3)) ((triple6 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3