Red Alan is what folks call him, because he is quite red. They always call him rough Charlie. Fred is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Harry has green teeth and rough skin. People also notice his blue eyes. When someone is young, they can be cold but kind. Incredible as it may seem, young people who are red and have kind attitudes are always round. A round and blue individual will also be a cold individual. You will notice that a rough, nice, red individual will be young. Find someone big, blue, and kind, and you'll see they are also quite young. Young cold individuals are usualyy rough.
Alan is red.
("Alan" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and red and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and red and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
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 young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Fred is rough.
True
1
proof
[(triple3)]
("Fred" "is" "rough" "+")
triple3
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Fred is young.
True
4
proof
[(((triple3 triple4 triple5) -> rule4))]
("Fred" "is" "young" "+")
((triple3 triple4 triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
4
inv-proof
[(((triple3 triple4 triple5) -> rule4))]
("Fred" "is" "young" "-")
((triple3 triple4 triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
True
6
proof
[(((((triple3 triple4 triple5) -> rule4) triple6) -> rule1))]
("Fred" "is" "kind" "+")
((((triple3 triple4 triple5) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not kind.
False
6
inv-proof
[(((((triple3 triple4 triple5) -> rule4) triple6) -> rule1))]
("Fred" "is" "kind" "-")
((((triple3 triple4 triple5) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
True
12
proof
[(((((triple3 triple4 triple5) -> rule4) triple4 ((((triple3 triple4 triple5) -> rule4) triple6) -> rule1)) -> rule2))]
("Fred" "is" "round" "+")
((((triple3 triple4 triple5) -> (rule4 % int3)) triple4 ((((triple3 triple4 triple5) -> (rule4 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not round.
False
12
inv-proof
[(((((triple3 triple4 triple5) -> rule4) triple4 ((((triple3 triple4 triple5) -> rule4) triple6) -> rule1)) -> rule2))]
("Fred" "is" "round" "-")
((((triple3 triple4 triple5) -> (rule4 % int3)) triple4 ((((triple3 triple4 triple5) -> (rule4 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "kind" "+")
Alan is not rough.
Unknown
inv-rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Alan" "is" "rough" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is red.[(triple1)] Charlie is rough.[(triple2)] Fred is cold.[(triple6)] Fred is nice.[(triple5)] Fred is red.[(triple4)] Fred is rough.[(triple3)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is rough.[(triple7)] @1: Fred is young.[(((triple3 triple4 triple5) -> rule4))] @2: Fred is kind.[(((((triple3 triple4 triple5) -> rule4) triple6) -> rule1))] @3: Fred is round.[(((((triple3 triple4 triple5) -> rule4) triple4 ((((triple3 triple4 triple5) -> rule4) triple6) -> rule1)) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
((triple3 triple4 triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((((triple3 triple4 triple5) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple3 triple4 triple5) -> (rule4 % int3)) triple4 ((((triple3 triple4 triple5) -> (rule4 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Red Alan is what folks call him, because he is quite red.
They always call him rough Charlie.
Fred is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
Harry has green teeth and rough skin; People also notice his blue eyes.
When someone is young, they can be cold but kind.
Incredible as it may seem, young people who are red and have kind attitudes are always round.
A round and blue individual will also be a cold individual.
You will notice that a rough, nice, red individual will be young.
Find someone big, blue, and kind, and you'll see they are also quite young.
Young cold individuals are usualyy rough.