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