Dave is cold. Dave is kind. Dave is nice. Dave is not red. Dave is not rough. Dave is white. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is white. Fiona is cold. Fiona is quiet. Fiona is rough. Rough, cold people are kind. If someone is red and not kind then they are not nice.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Rough, cold people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and not kind then they are not nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "nice" "-"))
Fiona is cold.
True
1
proof
[(triple14)]
("Fiona" "is" "cold" "+")
triple14
Dave is not cold.
False
1
inv-proof
[(triple1)]
("Dave" "is" "cold" "-")
triple1
Fiona is kind.
True
3
proof
[(((triple16 triple14) -> rule1))]
("Fiona" "is" "kind" "+")
((triple16 triple14) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
3
inv-proof
[(((triple16 triple14) -> rule1))]
("Fiona" "is" "kind" "-")
((triple16 triple14) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is not red.[(triple4)] Dave is not rough.[(triple5)] Dave is white.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8 OR ((triple12 triple7) -> rule1))] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is white.[(triple13)] Fiona is cold.[(triple14)] Fiona is quiet.[(triple15)] Fiona is rough.[(triple16)] @1: Fiona is kind.[(((triple16 triple14) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is not red.
("Dave" "is" "red" "-")
triple4
Dave is not rough.
("Dave" "is" "rough" "-")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
((triple12 triple7) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
Fiona is cold.
("Fiona" "is" "cold" "+")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
triple16
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple16 triple14) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1