Charlie is blue. Charlie is green. Charlie is rough. Charlie is smart. Dave is blue. Dave is green. Dave is rough. Dave is young. Harry is rough. Harry is young. If Charlie is rough and Charlie is smart then Charlie is green.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is rough and Charlie is smart then Charlie is green.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "green" "+"))
Charlie is smart.
True
1
proof
[(triple4)]
("Charlie" "is" "smart" "+")
triple4
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((triple3 triple4) -> rule1))] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Dave is blue.[(triple5)] Dave is green.[(triple6)] Dave is rough.[(triple7)] Dave is young.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
((triple3 triple4) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10