When you meet Alan you'll the two characteristics that will standout is that he's red but also rough. Eric is a nice and red, but very kind person as soon as you meet him. Fred who is considered nice was feeling rather rough today. Gary is big and tends to wear red shirts. His cheeks were red from the cold, and his big blue eye were watering. People who are rough are young. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. Nice people are cold people.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is big.
True
1
proof
[(triple9)]
("Gary" "is" "big" "+")
triple9
Gary is not big.
False
1
inv-proof
[(triple9)]
("Gary" "is" "big" "-")
triple9
Fred is cold.
True
2
proof
[(((triple7) -> rule4))]
("Fred" "is" "cold" "+")
((triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not young.
False
2
inv-proof
[(((triple6) -> rule2))]
("Fred" "is" "young" "-")
((triple6) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Eric is big.
True
4
proof
[(((((triple4) -> rule4) triple4) -> rule3))]
("Eric" "is" "big" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Fred is not big.
False
4
inv-proof
[(((((triple7) -> rule4) triple7) -> rule3))]
("Fred" "is" "big" "-")
((((triple7) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Eric is blue.
True
8
proof
[(((triple3 ((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule1))]
("Eric" "is" "blue" "+")
((triple3 ((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not blue.
False
8
inv-proof
[(((triple3 ((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule1))]
("Eric" "is" "blue" "-")
((triple3 ((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "blue" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is red.[(triple2)] Alan is rough.[(triple1)] Eric is kind.[(triple5)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] Gary is big.[(triple9)] Gary is red.[(triple8)] @1: Alan is young.[(((triple1) -> rule2))] Eric is cold.[(((triple4) -> rule4))] Fred is cold.[(((triple7) -> rule4))] Fred is young.[(((triple6) -> rule2))] @2: Eric is big.[(((((triple4) -> rule4) triple4) -> rule3))] Fred is big.[(((((triple7) -> rule4) triple7) -> rule3))] @3: Eric is blue.[(((triple3 ((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Alan is young.
("Alan" "is" "young" "+")
((triple1) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple4) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple6) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple7) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple3 ((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
When you meet Alan you'll the two characteristics that will standout is that he's red but also rough.
Eric is a nice and red, but very kind person as soon as you meet him.
Fred who is considered nice was feeling rather rough today.
Gary is big and tends to wear red shirts.
His cheeks were red from the cold, and his big blue eye were watering.
People who are rough are young.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
Nice people are cold people.