Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is rough. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is red. Green, nice people are kind.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Green, nice people are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Bob is red.
True
1
proof
[(triple5)]
("Bob" "is" "red" "+")
triple5
Bob is not quiet.
False
1
inv-proof
[(triple4)]
("Bob" "is" "quiet" "-")
triple4
Erin is kind.
True
3
proof
[(((triple13 triple14) -> rule1))]
("Erin" "is" "kind" "+")
((triple13 triple14) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
3
inv-proof
[(((triple13 triple14) -> rule1))]
("Erin" "is" "kind" "-")
((triple13 triple14) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
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 cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Dave is cold.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is red.[(triple10)] Dave is rough.[(triple11)] Erin is cold.[(triple12)] Erin is green.[(triple13)] Erin is nice.[(triple14)] Erin is quiet.[(triple15)] Erin is red.[(triple16)] @1: Erin is kind.[(((triple13 triple14) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple11
Erin is cold.
("Erin" "is" "cold" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
Erin is quiet.
("Erin" "is" "quiet" "+")
triple15
Erin is red.
("Erin" "is" "red" "+")
triple16
Erin is kind.
("Erin" "is" "kind" "+")
((triple13 triple14) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1