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