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