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