Dave is cold. Dave is green. Dave is quiet. Dave is not rough. Dave is not young. Erin is cold. Erin is green. Erin is nice. Erin is not rough. Erin is young. Harry is cold. Harry is nice. Harry is quiet. Harry is rough. Harry is young. If something is rough and cold then it is green.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is not young.
("Dave" "is" "young" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is young.
("Erin" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is rough and cold then it is green.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Dave is not young.
True
1
proof
[(triple5)]
("Dave" "is" "young" "-")
triple5
Dave is young.
False
1
inv-proof
[(triple5)]
("Dave" "is" "young" "+")
triple5
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is not rough.[(triple4)] Dave is not young.[(triple5)] Dave is quiet.[(triple3)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is not rough.[(triple9)] Erin is young.[(triple10)] Harry is cold.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is young.[(triple15)] @1: Harry is green.[(((triple14 triple11) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is not rough.
("Dave" "is" "rough" "-")
triple4
Dave is not young.
("Dave" "is" "young" "-")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is not rough.
("Erin" "is" "rough" "-")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Harry is green.
("Harry" "is" "green" "+")
((triple14 triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1