Charlie was born only a few years ago so he is young. Because Fred gets cold easily he tends to appear round from bundling up. Nice, but round, Gary has been said to be cold. Harry is rough, round and young but also red. A round person who is nice is young. A person who's big and kind will also be cold. Big, young people feel cold all the time. If you can find someone who is nice and red, then be relieved that they are certain to be kind. It's been proven that red, rough people are green as well. A kind person who look green and is round in shape is usually big in stature. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Charlie is young.
("Charlie" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Gary is nice.
True
1
proof
[(triple5)]
("Gary" "is" "nice" "+")
triple5
Gary is not round.
False
1
inv-proof
[(triple4)]
("Gary" "is" "round" "-")
triple4
Gary is young.
True
3
proof
[(((triple5 triple4) -> rule1))]
("Gary" "is" "young" "+")
((triple5 triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple5 triple4) -> rule1))]
("Gary" "is" "young" "-")
((triple5 triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is kind.
True
6
proof
[(((((triple7 triple8 triple9) -> rule7) triple10) -> rule4))]
("Harry" "is" "kind" "+")
((((triple7 triple8 triple9) -> (rule7 % int2)) triple10) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not kind.
False
6
inv-proof
[(((((triple7 triple8 triple9) -> rule7) triple10) -> rule4))]
("Harry" "is" "kind" "-")
((((triple7 triple8 triple9) -> (rule7 % int2)) triple10) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
True
11
proof
[(((triple8 ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4) ((triple10 triple9) -> rule5)) -> rule6))]
("Harry" "is" "big" "+")
((triple8 ((((triple7 triple8 triple9) -> (rule7 % int4)) triple10) -> (rule4 % int3)) ((triple10 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is not big.
False
11
inv-proof
[(((triple8 ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4) ((triple10 triple9) -> rule5)) -> rule6))]
("Harry" "is" "big" "-")
((triple8 ((((triple7 triple8 triple9) -> (rule7 % int4)) triple10) -> (rule4 % int3)) ((triple10 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is cold.
True
13
proof
[(((triple7 ((triple8 ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4) ((triple10 triple9) -> rule5)) -> rule6)) -> rule3) OR ((((triple8 ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4) ((triple10 triple9) -> rule5)) -> rule6) ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4)) -> rule2))]
("Harry" "is" "cold" "+")
((triple7 ((triple8 ((((triple7 triple8 triple9) -> (rule7 % int5)) triple10) -> (rule4 % int4)) ((triple10 triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple8 ((((triple7 triple8 triple9) -> (rule7 % int5)) triple10) -> (rule4 % int4)) ((triple10 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple7 triple8 triple9) -> (rule7 % int5)) triple10) -> (rule4 % int4))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is not cold.
False
13
inv-proof
[(((triple7 ((triple8 ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4) ((triple10 triple9) -> rule5)) -> rule6)) -> rule3) OR ((((triple8 ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4) ((triple10 triple9) -> rule5)) -> rule6) ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4)) -> rule2))]
("Harry" "is" "cold" "-")
((triple7 ((triple8 ((((triple7 triple8 triple9) -> (rule7 % int5)) triple10) -> (rule4 % int4)) ((triple10 triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple8 ((((triple7 triple8 triple9) -> (rule7 % int5)) triple10) -> (rule4 % int4)) ((triple10 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple7 triple8 triple9) -> (rule7 % int5)) triple10) -> (rule4 % int4))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "+")
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Charlie" "is" "cold" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is young.[(triple1)] Fred is cold.[(triple3)] Fred is round.[(triple2)] Gary is cold.[(triple6)] Gary is nice.[(triple5)] Gary is round.[(triple4)] Harry is red.[(triple10)] Harry is rough.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Gary is young.[(((triple5 triple4) -> rule1))] Harry is green.[(((triple10 triple9) -> rule5))] Harry is nice.[(((triple7 triple8 triple9) -> rule7))] @2: Harry is kind.[(((((triple7 triple8 triple9) -> rule7) triple10) -> rule4))] @3: Harry is big.[(((triple8 ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4) ((triple10 triple9) -> rule5)) -> rule6))] @4: Harry is cold.[(((triple7 ((triple8 ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4) ((triple10 triple9) -> rule5)) -> rule6)) -> rule3) OR ((((triple8 ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4) ((triple10 triple9) -> rule5)) -> rule6) ((((triple7 triple8 triple9) -> rule7) triple10) -> rule4)) -> rule2))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
((triple5 triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple8 triple9) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((((triple7 triple8 triple9) -> (rule7 % int2)) triple10) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple8 ((((triple7 triple8 triple9) -> (rule7 % int4)) triple10) -> (rule4 % int3)) ((triple10 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 ((triple8 ((((triple7 triple8 triple9) -> (rule7 % int5)) triple10) -> (rule4 % int4)) ((triple10 triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple8 ((((triple7 triple8 triple9) -> (rule7 % int5)) triple10) -> (rule4 % int4)) ((triple10 triple9) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple7 triple8 triple9) -> (rule7 % int5)) triple10) -> (rule4 % int4))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Charlie was born only a few years ago so he is young.
Because Fred gets cold easily he tends to appear round from bundling up.
Nice, but round, Gary has been said to be cold.
Harry is rough, round and young but also red.
A round person who is nice is young.
A person who's big and kind will also be cold.
Big, young people feel cold all the time.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
It's been proven that red, rough people are green as well.
A kind person who look green and is round in shape is usually big in stature.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.