Alan looks big and is kind with red hair and green shoes. Fred always goes out of his way to show that he is kind to people. Gary is a man who is both round and rough. Harry always goes out of his way to show that he is kind to people. Being a kind person even when you are blue is hard, but it means you are round with delight. Nice people who have red cold skin are round. Red people feel blue about it. Someone big and rough in shape is always kind. You will always find a cold, rough, red person to also be a round person. When you know someone who's red, rough and nice, you'll also see that they're cold. A person who is red and green, will also tend to be round shaped and rough.
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Gary is rough.
True
1
proof
[(triple7)]
("Gary" "is" "rough" "+")
triple7
Alan is not green.
False
1
inv-proof
[(triple3)]
("Alan" "is" "green" "-")
triple3
Alan is blue.
True
2
proof
[(((triple1) -> rule3))]
("Alan" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple1) -> rule3))]
("Alan" "is" "blue" "-")
((triple1) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
True
4
proof
[(((((triple1) -> rule3) triple2) -> rule1))]
("Alan" "is" "round" "+")
((((triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not round.
False
4
inv-proof
[(((((triple1) -> rule3) triple2) -> rule1))]
("Alan" "is" "round" "-")
((((triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
True
7
proof
[(((((((triple1) -> rule3) triple2) -> rule1) triple3 triple1) -> rule7))]
("Alan" "is" "rough" "+")
((((((triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2)) triple3 triple1) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not rough.
False
7
inv-proof
[(((((((triple1) -> rule3) triple2) -> rule1) triple3 triple1) -> rule7))]
("Alan" "is" "rough" "-")
((((((triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2)) triple3 triple1) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is round.
Unknown
rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Fred is kind.[(triple5)] Gary is rough.[(triple7)] Gary is round.[(triple6)] Harry is kind.[(triple8)] @1: Alan is blue.[(((triple1) -> rule3))] @2: Alan is round.[(((((triple1) -> rule3) triple2) -> rule1))] @3: Alan is rough.[(((((((triple1) -> rule3) triple2) -> rule1) triple3 triple1) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((((triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2)) triple3 triple1) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan looks big and is kind with red hair and green shoes.
Fred always goes out of his way to show that he is kind to people.
Gary is a man who is both round and rough.
Harry always goes out of his way to show that he is kind to people.
Being a kind person even when you are blue is hard, but it means you are round with delight.
Nice people who have red cold skin are round.
Red people feel blue about it.
Someone big and rough in shape is always kind.
You will always find a cold, rough, red person to also be a round person.
When you know someone who's red, rough and nice, you'll also see that they're cold.
A person who is red and green, will also tend to be round shaped and rough.