Charlie is kind. Erin is big. Erin is not smart. Gary is furry. Gary is not kind. Gary is red. Gary is not smart. Harry is blue. Harry is not furry. Harry is kind. Harry is not quiet. Harry is red. All furry people are blue.
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is red.
("Harry" "is" "red" "+")
All furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Erin is big.
True
1
proof
[(triple2)]
("Erin" "is" "big" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple8)]
("Harry" "is" "blue" "-")
triple8
Gary is blue.
True
2
proof
[(((triple4) -> rule1))]
("Gary" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple4) -> rule1))]
("Gary" "is" "blue" "-")
((triple4) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Charlie is kind.[(triple1)] Erin is big.[(triple2)] Erin is not smart.[(triple3)] Gary is furry.[(triple4)] Gary is not kind.[(triple5)] Gary is not smart.[(triple7)] Gary is red.[(triple6)] Harry is blue.[(triple8)] Harry is kind.[(triple10)] Harry is not furry.[(triple9)] Harry is not quiet.[(triple11)] Harry is red.[(triple12)] @1: Gary is blue.[(((triple4) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is not smart.
("Erin" "is" "smart" "-")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Gary is not kind.
("Gary" "is" "kind" "-")
triple5
Gary is not smart.
("Gary" "is" "smart" "-")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is not furry.
("Harry" "is" "furry" "-")
triple9
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1