Alan looks red to most people, with blue features. Fred's characteristics are that he is young, round, red, nice, kind, green and big. Big and cold people tend to see red and dont live green lifestyle. Someone who is round in shape and green in color is usually cold. Round, blue, and green people are poften rough. Cold, rough people are always green. Blue people who are kind and nice are actually quite rough. A big and rough person can be misleading because they are cold and blue as well. I've noticed that red, cold people who are kind have the trait of rough skin.
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and big and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Alan is blue.
True
1
proof
[(triple2)]
("Alan" "is" "blue" "+")
triple2
Fred is not young.
False
1
inv-proof
[(triple3)]
("Fred" "is" "young" "-")
triple3
Fred is cold.
True
3
proof
[(((triple8 triple4) -> rule2))]
("Fred" "is" "cold" "+")
((triple8 triple4) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple8 triple4) -> rule2))]
("Fred" "is" "cold" "-")
((triple8 triple4) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
True
6
proof
[(((triple7 ((triple8 triple4) -> rule2) triple5) -> rule7))]
("Fred" "is" "rough" "+")
((triple7 ((triple8 triple4) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not rough.
False
6
inv-proof
[(((triple7 ((triple8 triple4) -> rule2) triple5) -> rule7))]
("Fred" "is" "rough" "-")
((triple7 ((triple8 triple4) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
True
11
proof
[(((((triple8 triple4) -> rule2) triple9 ((triple7 ((triple8 triple4) -> rule2) triple5) -> rule7)) -> rule6))]
("Fred" "is" "blue" "+")
((((triple8 triple4) -> (rule2 % int3)) triple9 ((triple7 ((triple8 triple4) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not blue.
False
11
inv-proof
[(((((triple8 triple4) -> rule2) triple9 ((triple7 ((triple8 triple4) -> rule2) triple5) -> rule7)) -> rule6))]
("Fred" "is" "blue" "-")
((((triple8 triple4) -> (rule2 % int3)) triple9 ((triple7 ((triple8 triple4) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "blue" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Fred is big.[(triple9)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4)] Fred is young.[(triple3)] @1: Fred is cold.[(((triple8 triple4) -> rule2))] @2: Fred is rough.[(((triple7 ((triple8 triple4) -> rule2) triple5) -> rule7))] @3: Fred is blue.[(((((triple8 triple4) -> rule2) triple9 ((triple7 ((triple8 triple4) -> rule2) triple5) -> rule7)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
((triple8 triple4) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple7 ((triple8 triple4) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((triple8 triple4) -> (rule2 % int3)) triple9 ((triple7 ((triple8 triple4) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Alan looks red to most people, with blue features.
Fred's characteristics are that he is young, round, red, nice, kind, green and big.
Big and cold people tend to see red and dont live green lifestyle.
Someone who is round in shape and green in color is usually cold.
Round, blue, and green people are poften rough.
Cold, rough people are always green.
Blue people who are kind and nice are actually quite rough.
A big and rough person can be misleading because they are cold and blue as well.
I've noticed that red, cold people who are kind have the trait of rough skin.