Charlie is kind. Charlie is nice. Charlie is white. Dave is kind. Dave is quiet. Dave is not rough. Fiona is kind. Fiona is not quiet. Fiona is white. Harry is kind. Harry is nice. Harry is quiet. Harry is not rough. Harry is round. Harry is white. All rough people are not red. All round people are kind. If someone is kind and rough then they are not white.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All rough people are not red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "-"))
All round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough then they are not white.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "-"))
Harry is kind.
True
1
proof
[(triple10 OR ((triple14) -> rule2))]
("Harry" "is" "kind" "+")
triple10
((triple14) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is not white.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "white" "-")
triple3
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is white.[(triple3)] Dave is kind.[(triple4)] Dave is not rough.[(triple6)] Dave is quiet.[(triple5)] Fiona is kind.[(triple7)] Fiona is not quiet.[(triple8)] Fiona is white.[(triple9)] Harry is kind.[(triple10 OR ((triple14) -> rule2))] Harry is nice.[(triple11)] Harry is not rough.[(triple13)] Harry is quiet.[(triple12)] Harry is round.[(triple14)] Harry is white.[(triple15)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is not rough.
("Dave" "is" "rough" "-")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
((triple14) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is not rough.
("Harry" "is" "rough" "-")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15