Alan gets red when he is mad and tends to act very cold. Gary was green with envy. Though everyone thought he was a nice, young guy he was always blue. He would only focus on how round he was compared to others. Nice, but round, Harry has been said to be cold. People who are blue, cold, and round are often kind. Most young and nice people will be kind. A young, green person who is cold is rough around the edges. Kind people,though green,are cold.
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Gary is green.
True
1
proof
[(triple6)]
("Gary" "is" "green" "+")
triple6
Alan is not cold.
False
1
inv-proof
[(triple2)]
("Alan" "is" "cold" "-")
triple2
Gary is kind.
True
3
proof
[(((triple3 triple5) -> rule2))]
("Gary" "is" "kind" "+")
((triple3 triple5) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple3 triple5) -> rule2))]
("Gary" "is" "kind" "-")
((triple3 triple5) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
True
5
proof
[(((((triple3 triple5) -> rule2) triple6) -> rule4))]
("Gary" "is" "cold" "+")
((((triple3 triple5) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((((triple3 triple5) -> rule2) triple6) -> rule4))]
("Gary" "is" "cold" "-")
((((triple3 triple5) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
True
8
proof
[(((((((triple3 triple5) -> rule2) triple6) -> rule4) triple6 triple3) -> rule3))]
("Gary" "is" "rough" "+")
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule4 % int2)) triple6 triple3) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not rough.
False
8
inv-proof
[(((((((triple3 triple5) -> rule2) triple6) -> rule4) triple6 triple3) -> rule3))]
("Gary" "is" "rough" "-")
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule4 % int2)) triple6 triple3) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "kind" "+")
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "rough" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is cold.[(triple2)] Alan is red.[(triple1)] Gary is blue.[(triple7)] Gary is green.[(triple6)] Gary is nice.[(triple5)] Gary is round.[(triple4)] Gary is young.[(triple3)] Harry is cold.[(triple10)] Harry is nice.[(triple9)] Harry is round.[(triple8)] @1: Gary is kind.[(((triple3 triple5) -> rule2))] @2: Gary is cold.[(((((triple3 triple5) -> rule2) triple6) -> rule4))] @3: Gary is rough.[(((((((triple3 triple5) -> rule2) triple6) -> rule4) triple6 triple3) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
((triple3 triple5) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple3 triple5) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple3 triple5) -> (rule2 % int3)) triple6) -> (rule4 % int2)) triple6 triple3) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Alan gets red when he is mad and tends to act very cold.
Gary was green with envy; Though everyone thought he was a nice, young guy he was always blue; He would only focus on how round he was compared to others.
Nice, but round, Harry has been said to be cold.
People who are blue, cold, and round are often kind.
Most young and nice people will be kind.
A young, green person who is cold is rough around the edges.
Kind people,though green,are cold.