Erin is not smart. Gary is quiet. Harry is quiet. If Gary is young and Gary is not quiet then Gary is not red. Quiet people are smart. If someone is smart then they are nice.
Erin is not smart.
("Erin" "is" "smart" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Gary is young and Gary is not quiet then Gary is not red.
((("Gary" "is" "young" "+") ("Gary" "is" "quiet" "~")) -> ("Gary" "is" "red" "-"))
Quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart then they are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Erin is not smart.
True
1
proof
[(triple1)]
("Erin" "is" "smart" "-")
triple1
Erin is smart.
False
1
inv-proof
[(triple1)]
("Erin" "is" "smart" "+")
triple1
Harry is smart.
True
2
proof
[(((triple3) -> rule2))]
("Harry" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple3) -> rule2))]
("Harry" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
True
3
proof
[(((((triple3) -> rule2)) -> rule3))]
("Harry" "is" "nice" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is not nice.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule3))]
("Harry" "is" "nice" "-")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is not smart.[(triple1)] Gary is quiet.[(triple2)] Harry is quiet.[(triple3)] @1: Gary is smart.[(((triple2) -> rule2))] Harry is smart.[(((triple3) -> rule2))] @2: Gary is nice.[(((((triple2) -> rule2)) -> rule3))] Harry is nice.[(((((triple3) -> rule2)) -> rule3))]
Erin is not smart.
("Erin" "is" "smart" "-")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2