Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Dave is young. Erin is cold. Erin is not quiet. Erin is not rough. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Cold people are green.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fiona is quiet.
True
1
proof
[(triple14)]
("Fiona" "is" "quiet" "+")
triple14
Erin is not cold.
False
1
inv-proof
[(triple8)]
("Erin" "is" "cold" "-")
triple8
Erin is green.
True
2
proof
[(((triple8) -> rule1))]
("Erin" "is" "green" "+")
((triple8) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple8) -> rule1))]
("Erin" "is" "green" "-")
((triple8) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Dave is cold.[(triple1)] Dave is green.[(triple2 OR ((triple1) -> rule1))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)] Erin is cold.[(triple8)] Erin is not quiet.[(triple9)] Erin is not rough.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple12 OR ((triple11) -> rule1))] Fiona is nice.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is round.[(triple16)] @1: Erin is green.[(((triple8) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple9
Erin is not rough.
("Erin" "is" "rough" "-")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
((triple11) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Erin is green.
("Erin" "is" "green" "+")
((triple8) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1