Dave is not big. Dave is cold. Dave is kind. Dave is not nice. Dave is red. Erin is cold. Erin is not kind. Erin is nice. Erin is red. Erin is young. All kind, cold people are smart. If someone is cold then they are smart.
Dave is not big.
("Dave" "is" "big" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is red.
("Dave" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
All kind, cold people are smart.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If someone is cold then they are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Erin is young.
True
1
proof
[(triple10)]
("Erin" "is" "young" "+")
triple10
Erin is kind.
False
1
inv-proof
[(triple7)]
("Erin" "is" "kind" "+")
triple7
Dave is smart.
True
2
proof
[(((triple2) -> rule2) OR ((triple3 triple2) -> rule1))]
("Dave" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple3 triple2) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple3 triple2) -> rule1))]
("Dave" "is" "smart" "-")
((triple2) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple3 triple2) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is not big.[(triple1)] Dave is not nice.[(triple4)] Dave is red.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple8)] Erin is not kind.[(triple7)] Erin is red.[(triple9)] Erin is young.[(triple10)] @1: Dave is smart.[(((triple2) -> rule2) OR ((triple3 triple2) -> rule1))] Erin is smart.[(((triple6) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is not big.
("Dave" "is" "big" "-")
triple1
Dave is not nice.
("Dave" "is" "nice" "-")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is not kind.
("Erin" "is" "kind" "-")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple3 triple2) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple6) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1