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