Bob is not kind. Bob is not quiet. Bob is smart. Dave is big. Dave is kind. Dave is quiet. Dave is red. Dave is white. Erin is big. Erin is quiet. Erin is red. Harry is big. Harry is quiet. Harry is smart. Harry is white. Red people are not smart.
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Red people are not smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "-"))
Harry is white.
True
1
proof
[(triple15)]
("Harry" "is" "white" "+")
triple15
Erin is not big.
False
1
inv-proof
[(triple9)]
("Erin" "is" "big" "-")
triple9
Dave is not smart.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "smart" "-")
((triple7) -> (rule1 % int1))
Dave is not smart.
("Dave" "is" "smart" "-")
int1
Dave is smart.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Dave is not smart.
("Dave" "is" "smart" "-")
int1
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Bob is not kind.[(triple1)] Bob is not quiet.[(triple2)] Bob is smart.[(triple3)] Dave is big.[(triple4)] Dave is kind.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is white.[(triple8)] Erin is big.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Harry is big.[(triple12)] Harry is quiet.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Dave is not smart.[(((triple7) -> rule1))] Erin is not smart.[(((triple11) -> rule1))]
Bob is not kind.
("Bob" "is" "kind" "-")
triple1
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Dave is not smart.
("Dave" "is" "smart" "-")
((triple7) -> (rule1 % int1))
Dave is not smart.
("Dave" "is" "smart" "-")
int1
Erin is not smart.
("Erin" "is" "smart" "-")
((triple11) -> (rule1 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1