Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is not young. Dave is furry. Dave is nice. Dave is round. Dave is young. Erin is cold. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is not round. Erin is young. All round things are nice.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is young.
("Erin" "is" "young" "+")
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Charlie is nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Dave is not nice.
False
1
inv-proof
[(triple7 OR ((triple8) -> rule1))]
("Dave" "is" "nice" "-")
triple7
((triple8) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is not young.[(triple5)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Dave is furry.[(triple6)] Dave is nice.[(triple7 OR ((triple8) -> rule1))] Dave is round.[(triple8)] Dave is young.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is nice.[(triple12)] Erin is not round.[(triple15)] Erin is red.[(triple13)] Erin is rough.[(triple14)] Erin is young.[(triple16)]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is not young.
("Charlie" "is" "young" "-")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
((triple8) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is not round.
("Erin" "is" "round" "-")
triple15
Erin is red.
("Erin" "is" "red" "+")
triple13
Erin is rough.
("Erin" "is" "rough" "+")
triple14
Erin is young.
("Erin" "is" "young" "+")
triple16