Fred is blue and cold. Most people consider Gary to bed red. He's pretty cold to people and often feels blue. Gary is a big person. Harry is known to be rough and green. Young and rough people tend to be green too. Whenever you are around kind and green people, you will notice they are very red. Any cold, round, green person is going to be young at the same time. Any rather round person exposed to weather that leaves them red and cold will feel blue. I've noticed that someone with a round shape is also green. Find someone big, blue, and kind, and you'll see they are also quite young. Someone blue and red is definitely round and dressed as a clown.
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Fred is blue.
True
1
proof
[(triple2)]
("Fred" "is" "blue" "+")
triple2
Gary is not cold.
False
1
inv-proof
[(triple4)]
("Gary" "is" "cold" "-")
triple4
Gary is round.
True
3
proof
[(((triple5 triple3) -> rule7))]
("Gary" "is" "round" "+")
((triple5 triple3) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple5 triple3) -> rule7))]
("Gary" "is" "round" "-")
((triple5 triple3) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
True
4
proof
[(((((triple5 triple3) -> rule7)) -> rule5))]
("Gary" "is" "green" "+")
((((triple5 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not green.
False
4
inv-proof
[(((((triple5 triple3) -> rule7)) -> rule5))]
("Gary" "is" "green" "-")
((((triple5 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
True
9
proof
[(((triple4 ((triple5 triple3) -> rule7) ((((triple5 triple3) -> rule7)) -> rule5)) -> rule3))]
("Gary" "is" "young" "+")
((triple4 ((triple5 triple3) -> (rule7 % int3)) ((((triple5 triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not young.
False
9
inv-proof
[(((triple4 ((triple5 triple3) -> rule7) ((((triple5 triple3) -> rule7)) -> rule5)) -> rule3))]
("Gary" "is" "young" "-")
((triple4 ((triple5 triple3) -> (rule7 % int3)) ((((triple5 triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is round.
Unknown
rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Eric" "is" "round" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "red" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Fred is blue.[(triple2)] Fred is cold.[(triple1)] Gary is big.[(triple6)] Gary is blue.[(triple5)] Gary is cold.[(triple4)] Gary is red.[(triple3)] Harry is green.[(triple8)] Harry is rough.[(triple7)] @1: Gary is round.[(((triple5 triple3) -> rule7))] @2: Gary is green.[(((((triple5 triple3) -> rule7)) -> rule5))] @3: Gary is young.[(((triple4 ((triple5 triple3) -> rule7) ((((triple5 triple3) -> rule7)) -> rule5)) -> rule3))]
Fred is blue.
("Fred" "is" "blue" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
((triple5 triple3) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple5 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple4 ((triple5 triple3) -> (rule7 % int3)) ((((triple5 triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Fred is blue and cold.
Most people consider Gary to bed red; He's pretty cold to people and often feels blue; Gary is a big person.
Harry is known to be rough and green.
Young and rough people tend to be green too.
Whenever you are around kind and green people, you will notice they are very red.
Any cold, round, green person is going to be young at the same time.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
I've noticed that someone with a round shape is also green.
Find someone big, blue, and kind, and you'll see they are also quite young.
Someone blue and red is definitely round and dressed as a clown.