Charlie is big. Charlie is not kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is not white. Dave is not big. Dave is not cold. Dave is kind. Dave is quiet. Dave is not red. Dave is white. Fiona is big. Fiona is cold. Fiona is not kind. Fiona is white. If someone is white and cold then they are round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is not big.
("Dave" "is" "big" "-")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is white and cold then they are round.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Charlie is quiet.
True
1
proof
[(triple3)]
("Charlie" "is" "quiet" "+")
triple3
Dave is not kind.
False
1
inv-proof
[(triple9)]
("Dave" "is" "kind" "-")
triple9
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Charlie is big.[(triple1)] Charlie is not kind.[(triple2)] Charlie is not white.[(triple6)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Dave is kind.[(triple9)] Dave is not big.[(triple7)] Dave is not cold.[(triple8)] Dave is not red.[(triple11)] Dave is quiet.[(triple10)] Dave is white.[(triple12)] Fiona is big.[(triple13)] Fiona is cold.[(triple14)] Fiona is not kind.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is round.[(((triple16 triple14) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Charlie is not white.
("Charlie" "is" "white" "-")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is not big.
("Dave" "is" "big" "-")
triple7
Dave is not cold.
("Dave" "is" "cold" "-")
triple8
Dave is not red.
("Dave" "is" "red" "-")
triple11
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
triple13
Fiona is cold.
("Fiona" "is" "cold" "+")
triple14
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Fiona is round.
("Fiona" "is" "round" "+")
((triple16 triple14) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1