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