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