Anne is cold. Anne is green. Anne is nice. Anne is smart. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is smart. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Cold things are nice. If Charlie is cold and Charlie is not quiet then Charlie is not big.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If Charlie is cold and Charlie is not quiet then Charlie is not big.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "quiet" "~")) -> ("Charlie" "is" "big" "-"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Charlie is not quiet.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "quiet" "-")
triple7
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple1) -> rule1))] Anne is smart.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12)] @1: Charlie is nice.[(((triple5) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1