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