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