Bob is blue. Bob is smart. Dave is blue. Dave is nice. Dave is smart. Erin is not blue. Erin is cold. Erin is green. Erin is kind. Erin is nice. Kind things are not young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Kind things are not young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "-"))
Bob is smart.
True
1
proof
[(triple2)]
("Bob" "is" "smart" "+")
triple2
Erin is blue.
False
1
inv-proof
[(triple6)]
("Erin" "is" "blue" "+")
triple6
Erin is not young.
True
2
proof
[(((triple9) -> rule1))]
("Erin" "is" "young" "-")
((triple9) -> (rule1 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is young.
False
2
inv-proof
[(((triple9) -> rule1))]
("Erin" "is" "young" "+")
((triple9) -> (rule1 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Dave is blue.[(triple3)] Dave is nice.[(triple4)] Dave is smart.[(triple5)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is not blue.[(triple6)] @1: Erin is not young.[(((triple9) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is not blue.
("Erin" "is" "blue" "-")
triple6
Erin is not young.
("Erin" "is" "young" "-")
((triple9) -> (rule1 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1