Bob is not blue. Bob is kind. Bob is not nice. Bob is rough. Bob is smart. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Dave is blue. Dave is rough. Erin is not kind. Erin is not nice. Erin is quiet. Erin is smart. If Bob is blue and Bob is quiet then Bob is kind. If someone is smart and not nice then they are rough.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Bob is blue and Bob is quiet then Bob is kind.
((("Bob" "is" "blue" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "kind" "+"))
If someone is smart and not nice then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "rough" "+"))
Bob is not blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Erin is nice.
False
1
inv-proof
[(triple14)]
("Erin" "is" "nice" "+")
triple14
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is kind.[(triple2)] Bob is not blue.[(triple1)] Bob is not nice.[(triple3)] Bob is rough.[(triple4 OR ((triple5 triple3) -> rule2))] Bob is smart.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10)] Dave is blue.[(triple11)] Dave is rough.[(triple12)] Erin is not kind.[(triple13)] Erin is not nice.[(triple14)] Erin is quiet.[(triple15)] Erin is smart.[(triple16)] @1: Erin is rough.[(((triple16 triple14) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple5 triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
triple11
Dave is rough.
("Dave" "is" "rough" "+")
triple12
Erin is not kind.
("Erin" "is" "kind" "-")
triple13
Erin is not nice.
("Erin" "is" "nice" "-")
triple14
Erin is quiet.
("Erin" "is" "quiet" "+")
triple15
Erin is smart.
("Erin" "is" "smart" "+")
triple16
Erin is rough.
("Erin" "is" "rough" "+")
((triple16 triple14) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1