Bob is blue. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Dave is cold. Dave is furry. Dave is red. Fiona is kind. All red things are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Charlie is not red.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "red" "-")
triple6
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple6) -> rule1))] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Dave is cold.[(triple7 OR ((triple9) -> rule1))] Dave is furry.[(triple8)] Dave is red.[(triple9)] Fiona is kind.[(triple10)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
((triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
((triple9) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10