Anne is quiet. Anne is rough. Anne is round. Charlie is big. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Erin is big. Erin is quiet. Erin is young. Fiona is quiet. Fiona is rough. Fiona is white. All round things are quiet. Round, big things are young.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Round, big things are young.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Charlie is green.
True
1
proof
[(triple5)]
("Charlie" "is" "green" "+")
triple5
Anne is not quiet.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule1))]
("Anne" "is" "quiet" "-")
triple1
((triple3) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is quiet.[(triple1 OR ((triple3) -> rule1))] Anne is rough.[(triple2)] Anne is round.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6 OR ((triple8) -> rule1))] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10 OR ((triple8 triple4) -> rule2))] Erin is big.[(triple11)] Erin is quiet.[(triple12)] Erin is young.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is white.[(triple16)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
((triple3) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
((triple8) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
((triple8 triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16