Even though young Fred is red from his sunburn, his lips are blue because he is cold. Even though he's young and green, Gary is rough. Any green person is a round person. Cold, rough people are always green. Young cold individuals are usualyy rough. Blue and red people who are young always have rough skin. Young and kind people, that also tend to be cold, are then considered green. If a person has round shape then they are also green and red.
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and kind and cold then they are green.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Gary is green.
True
1
proof
[(triple7)]
("Gary" "is" "green" "+")
triple7
Gary is not young.
False
1
inv-proof
[(triple5)]
("Gary" "is" "young" "-")
triple5
Fred is rough.
True
3
proof
[(((triple1 triple3) -> rule3) OR ((triple4 triple2 triple1) -> rule4))]
("Fred" "is" "rough" "+")
((triple1 triple3) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
((triple4 triple2 triple1) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "round" "-")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
True
4
proof
[(((triple7 ((triple7) -> rule1)) -> rule6))]
("Gary" "is" "red" "+")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Fred is not green.
False
5
inv-proof
[(((triple3 ((triple1 triple3) -> rule3)) -> rule2) OR ((triple3 ((triple4 triple2 triple1) -> rule4)) -> rule2))]
("Fred" "is" "green" "-")
((triple3 ((triple1 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple3 ((triple4 triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
True
6
proof
[(((((triple3 ((triple1 triple3) -> rule3)) -> rule2)) -> rule1) OR ((((triple3 ((triple4 triple2 triple1) -> rule4)) -> rule2)) -> rule1))]
("Fred" "is" "round" "+")
((((triple3 ((triple1 triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((triple3 ((triple4 triple2 triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not round.
False
6
inv-proof
[(((((triple3 ((triple1 triple3) -> rule3)) -> rule2)) -> rule1) OR ((((triple3 ((triple4 triple2 triple1) -> rule4)) -> rule2)) -> rule1))]
("Fred" "is" "round" "-")
((((triple3 ((triple1 triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((triple3 ((triple4 triple2 triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "+")
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Fred is blue.[(triple4)] Fred is cold.[(triple3)] Fred is red.[(triple2 OR ((((triple3 ((triple1 triple3) -> rule3)) -> rule2) ((((triple3 ((triple1 triple3) -> rule3)) -> rule2)) -> rule1)) -> rule6))] Fred is young.[(triple1)] Gary is green.[(triple7)] Gary is rough.[(triple6)] Gary is young.[(triple5)] @1: Fred is rough.[(((triple1 triple3) -> rule3) OR ((triple4 triple2 triple1) -> rule4))] Gary is round.[(((triple7) -> rule1))] @2: Fred is green.[(((triple3 ((triple1 triple3) -> rule3)) -> rule2) OR ((triple3 ((triple4 triple2 triple1) -> rule4)) -> rule2))] Gary is red.[(((triple7 ((triple7) -> rule1)) -> rule6))] @3: Fred is round.[(((((triple3 ((triple1 triple3) -> rule3)) -> rule2)) -> rule1) OR ((((triple3 ((triple4 triple2 triple1) -> rule4)) -> rule2)) -> rule1))]
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple3
Fred is red.
("Fred" "is" "red" "+")
triple2
((((triple3 ((triple1 triple3) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple3 ((triple1 triple3) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
((triple1 triple3) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
((triple4 triple2 triple1) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple3 ((triple1 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple3 ((triple4 triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple3 ((triple1 triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((triple3 ((triple4 triple2 triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Even though young Fred is red from his sunburn, his lips are blue because he is cold.
Even though he's young and green, Gary is rough.
Any green person is a round person.
Cold, rough people are always green.
Young cold individuals are usualyy rough.
Blue and red people who are young always have rough skin.
Young and kind people, that also tend to be cold, are then considered green.
If a person has round shape then they are also green and red.