Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Fiona is not green. Fiona is kind. Fiona is quiet. Fiona is smart. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is smart. Harry is white. Harry is not young. If Fiona is green then Fiona is quiet. If Harry is kind and Harry is white then Harry is smart. If something is smart and not quiet then it is kind.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is not young.
("Harry" "is" "young" "-")
If Fiona is green then Fiona is quiet.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "quiet" "+"))
If Harry is kind and Harry is white then Harry is smart.
((("Harry" "is" "kind" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "smart" "+"))
If something is smart and not quiet then it is kind.
((("something" "is" "smart" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "kind" "+"))
Harry is white.
True
1
proof
[(triple15)]
("Harry" "is" "white" "+")
triple15
Harry is young.
False
1
inv-proof
[(triple16)]
("Harry" "is" "young" "+")
triple16
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Fiona is kind.[(triple7)] Fiona is not green.[(triple6)] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is not young.[(triple16)] Harry is quiet.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14 OR ((triple11 triple15) -> rule2))] Harry is white.[(triple15)]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not green.
("Fiona" "is" "green" "-")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not young.
("Harry" "is" "young" "-")
triple16
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
((triple11 triple15) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple15