Charlie was born only a few years ago so he is young. Fred is a very rough person. As expected, he's also a very cold and big individual. That guy Gary is big, but he's always kind to little ones. Harry ate some rotten meat and now feels green. Kind young people are red. A big person who looks blue is also going to look young. Cold people with rough, green skin are young. Big people who are round in stature and also feel rough are often cold to other people. A big person with cold, rough skin is going to be green as well. Unfortunately, all the young people who are considered green are all round. People who are nice and cold are also green.
Charlie is young.
("Charlie" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fred is rough.
True
1
proof
[(triple2)]
("Fred" "is" "rough" "+")
triple2
Fred is not rough.
False
1
inv-proof
[(triple2)]
("Fred" "is" "rough" "-")
triple2
Fred is green.
True
4
proof
[(((triple4 triple3 triple2) -> rule5))]
("Fred" "is" "green" "+")
((triple4 triple3 triple2) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
4
inv-proof
[(((triple4 triple3 triple2) -> rule5))]
("Fred" "is" "green" "-")
((triple4 triple3 triple2) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
True
7
proof
[(((triple3 triple2 ((triple4 triple3 triple2) -> rule5)) -> rule3))]
("Fred" "is" "young" "+")
((triple3 triple2 ((triple4 triple3 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is not young.
False
7
inv-proof
[(((triple3 triple2 ((triple4 triple3 triple2) -> rule5)) -> rule3))]
("Fred" "is" "young" "-")
((triple3 triple2 ((triple4 triple3 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
True
12
proof
[(((((triple4 triple3 triple2) -> rule5) ((triple3 triple2 ((triple4 triple3 triple2) -> rule5)) -> rule3)) -> rule6))]
("Fred" "is" "round" "+")
((((triple4 triple3 triple2) -> (rule5 % int3)) ((triple3 triple2 ((triple4 triple3 triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not round.
False
12
inv-proof
[(((((triple4 triple3 triple2) -> rule5) ((triple3 triple2 ((triple4 triple3 triple2) -> rule5)) -> rule3)) -> rule6))]
("Fred" "is" "round" "-")
((((triple4 triple3 triple2) -> (rule5 % int3)) ((triple3 triple2 ((triple4 triple3 triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is young.[(triple1)] Fred is big.[(triple4)] Fred is cold.[(triple3)] Fred is rough.[(triple2)] Gary is big.[(triple6)] Gary is kind.[(triple5)] Harry is green.[(triple7)] @1: Fred is green.[(((triple4 triple3 triple2) -> rule5))] @2: Fred is young.[(((triple3 triple2 ((triple4 triple3 triple2) -> rule5)) -> rule3))] @3: Fred is round.[(((((triple4 triple3 triple2) -> rule5) ((triple3 triple2 ((triple4 triple3 triple2) -> rule5)) -> rule3)) -> rule6))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
((triple4 triple3 triple2) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple3 triple2 ((triple4 triple3 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple4 triple3 triple2) -> (rule5 % int3)) ((triple3 triple2 ((triple4 triple3 triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Charlie was born only a few years ago so he is young.
Fred is a very rough person; As expected, he's also a very cold and big individual.
That guy Gary is big, but he's always kind to little ones.
Harry ate some rotten meat and now feels green.
Kind young people are red.
A big person who looks blue is also going to look young.
Cold people with rough, green skin are young.
Big people who are round in stature and also feel rough are often cold to other people.
A big person with cold, rough skin is going to be green as well.
Unfortunately, all the young people who are considered green are all round.
People who are nice and cold are also green.