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