Bob is blue. Bob is furry. Bob is red. Bob is white. Charlie is kind. Charlie is red. Fiona is furry. Fiona is red. Harry is not big. Harry is not smart. If Charlie is not kind then Charlie is not red. White people are smart. If someone is big and kind then they are not furry. If someone is white then they are red. Big people are white. If someone is blue and white then they are big.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is not smart.
("Harry" "is" "smart" "-")
If Charlie is not kind then Charlie is not red.
((("Charlie" "is" "kind" "~")) -> ("Charlie" "is" "red" "-"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is big and kind then they are not furry.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "-"))
If someone is white then they are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is blue and white then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Charlie is red.
True
1
proof
[(triple6)]
("Charlie" "is" "red" "+")
triple6
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3 OR ((triple4) -> rule4))] Bob is white.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Fiona is furry.[(triple7)] Fiona is red.[(triple8)] Harry is not big.[(triple9)] Harry is not smart.[(triple10)] @1: Bob is big.[(((triple1 triple4) -> rule6))] Bob is smart.[(((triple4) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
((triple4) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Harry is not big.
("Harry" "is" "big" "-")
triple9
Harry is not smart.
("Harry" "is" "smart" "-")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple4) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1