Charlie is cold. Charlie is green. Charlie is round. Dave is cold. Dave is smart. Erin is quiet. Erin is round. Erin is smart. Fiona is blue. Fiona is green. Cold people are blue.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Erin is not round.
False
1
inv-proof
[(triple7)]
("Erin" "is" "round" "-")
triple7
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is round.[(triple3)] Dave is cold.[(triple4)] Dave is smart.[(triple5)] Erin is quiet.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple10)] @1: Charlie is blue.[(((triple1) -> rule1))] Dave is blue.[(((triple4) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1