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