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