Anne is cold. Anne is furry. Anne is green. Charlie is blue. Charlie is cold. Charlie is round. Charlie is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is round. Fiona is young. Harry is blue. Harry is green. Harry is nice. Harry is young. If Charlie is furry and Charlie is cold then Charlie is green. If Harry is cold and Harry is round then Harry is green. If someone is round and cold then they are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is furry and Charlie is cold then Charlie is green.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "green" "+"))
If Harry is cold and Harry is round then Harry is green.
((("Harry" "is" "cold" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "green" "+"))
If someone is round and cold then they are green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fiona is green.
True
1
proof
[(triple10)]
("Fiona" "is" "green" "+")
triple10
Harry is not green.
False
1
inv-proof
[(triple14)]
("Harry" "is" "green" "-")
triple14
Charlie is green.
True
3
proof
[(((triple6 triple5) -> rule3))]
("Charlie" "is" "green" "+")
((triple6 triple5) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple6 triple5) -> rule3))]
("Charlie" "is" "green" "-")
((triple6 triple5) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15)] Harry is young.[(triple16)] @1: Charlie is green.[(((triple6 triple5) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Charlie is green.
("Charlie" "is" "green" "+")
((triple6 triple5) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1