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