Bob is blue. Bob is not kind. Bob is not quiet. Bob is white. Fiona is cold. Fiona is not furry. Fiona is green. Gary is cold. Gary is not furry. Gary is green. Gary is not kind. Gary is white. Harry is blue. Harry is green. Harry is quiet. Harry is white. Quiet people are kind.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
Quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Bob is not quiet.
True
1
proof
[(triple3)]
("Bob" "is" "quiet" "-")
triple3
Fiona is furry.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "furry" "+")
triple6
Harry is kind.
True
2
proof
[(((triple15) -> rule1))]
("Harry" "is" "kind" "+")
((triple15) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple15) -> rule1))]
("Harry" "is" "kind" "-")
((triple15) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is not kind.[(triple2)] Bob is not quiet.[(triple3)] Bob is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple7)] Fiona is not furry.[(triple6)] Gary is cold.[(triple8)] Gary is green.[(triple10)] Gary is not furry.[(triple9)] Gary is not kind.[(triple11)] Gary is white.[(triple12)] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is quiet.[(triple15)] Harry is white.[(triple16)] @1: Harry is kind.[(((triple15) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is not furry.
("Gary" "is" "furry" "-")
triple9
Gary is not kind.
("Gary" "is" "kind" "-")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Harry is kind.
("Harry" "is" "kind" "+")
((triple15) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1