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