Dave is not cold. Dave is quiet. Dave is rough. Dave is young. Erin is cold. Erin is kind. Erin is nice. Erin is rough. Erin is young. Fiona is cold. Fiona is nice. Fiona is not rough. If something is quiet and rough then it is young. Young, kind things are furry.
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
If something is quiet and rough then it is young.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Young, kind things are furry.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Dave is not cold.
True
1
proof
[(triple1)]
("Dave" "is" "cold" "-")
triple1
Dave is cold.
False
1
inv-proof
[(triple1)]
("Dave" "is" "cold" "+")
triple1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is not cold.[(triple1)] Dave is quiet.[(triple2)] Dave is rough.[(triple3)] Dave is young.[(triple4 OR ((triple2 triple3) -> rule1))] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Fiona is cold.[(triple10)] Fiona is nice.[(triple11)] Fiona is not rough.[(triple12)] @1: Erin is furry.[(((triple9 triple6) -> rule2))]
Dave is not cold.
("Dave" "is" "cold" "-")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
((triple2 triple3) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple12
Erin is furry.
("Erin" "is" "furry" "+")
((triple9 triple6) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1