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