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