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