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